Related People
Another batch2024-12-09
:2413
CHEN, MINGSHUAI Ph.D.
ZJU100 Young Professor
| Doctoral supervisor
- m.chen@zju.edu.cn
- Room 510, East Building, North Park, Xixi Campus
-
- · Logical Aspects of Computer Science
- · Formal Verification and Synthesis
- · Programming Theory/Languages
- · Probabilistic/Quantum Systems
- · Cyber-Physical Systems