• Basic Info Search
  • Full Text Search
  • Full Text Search
  • Basic Info Search

Related People

Another batch

2024-01-19
:1050
CHEN, MINGSHUAI Ph.D.
ZJU100 Young Professor | Doctoral supervisor
  • 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