Mingshuai Chen

Assistant Professor, College of Computer Science and Technology, Zhejiang University

  • Joined October 2023

Names

Mingshuai Chen (Preferred)

Emails

****@zju.edu.cn (Confirmed)

Personal Links

Education & Career History

Assistant Professor
College of Computer Science and Technology, Zhejiang University (zju.edu.cn)
2023 – Present
 
Postdoc
Department of Computer Science, RWTH Aachen University (cs.rwth-aachen.de)
2019 – 2022
 
PhD student
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences (ios.ac.cn)
2013 – 2019
 

Advisors, Relations & Conflicts

Postdoc Advisor
Present
 
PhD Advisor
Naijun Zhan
Present
 
PhD Advisor
Martin Fränzle
Present
 

Expertise

Formal Methods
Present
 
Logic, Verification, and Synthesis
Present
 
Quantitative Reasoning
Present
 
Programming Theory
Present
 
Probabilistic Programming
Present
 
Cyber-Physical Systems
Present