Mingshuai Chen (Preferred)
Mingshuai Chen
Assistant Professor, College of Computer Science and Technology, Zhejiang University
Joined
October 2023
Names
Emails
****@zju.edu.cn (Confirmed)
Personal Links
Career & Education 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
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