Related People
Another batch2025-02-08
:2723
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