Related People
Another batch
2024-09-19
:2306
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