Related People
Another batch2026-04-15
:6995
CHEN, MINGSHUAI Ph.D.
ZJU100 Young Professor
| Doctoral supervisor
Vice Dean of the Binjiang Institute of Zhejiang University
- 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