Principal Investigator
Mingshuai Chen
ZJU100 Young Professor
College of Computer Science and Technology
Logical Aspects of Computer Science, Formal Verification and Synthesis, Programming Theory/Languages, Probabilistic/Quantum Systems, Cyber-Physical Systems, AI for Formal Methods
Ph.D. Students
Huangying Dong
Ph.D. Candidate
College of Computer Science and Technology
Cyber-Physical Systems, Hybrid Systems, Programming Theory/Languages
Bohan Ma
Ph.D. Candidate
College of Computer Science and Technology
Formal Methods, Programming Languages, Quantum Computing, Theorem Proving, Hybrid Systems
Yutao Sun
Ph.D. Candidate
College of Computer Science and Technology
Service Computing, Service Regulation, Multimodal Learning, Language Design, AI for FM
Zhongyi Wang
Ph.D. Candidate
College of Computer Science and Technology
Abstract Interpretation, Static Analysis, Automated Verification, Programming Theory/Languages
Linyu Yang
Ph.D. Candidate
College of Computer Science and Technology
Abstract Interpretation, Static Analysis, Type Theory, Theorem Proving, Programming Theory/Languages
Mingqi Yang
Ph.D. Candidate
College of Computer Science and Technology
Verification Meets AI, Probabilistic Systems, Quantitative Reasoning, Program Synthesis
Xiaqing Zhou
Ph.D. Candidate
College of Computer Science and Technology
Formal Verification, Intelligent Operating Systems, Theorem Proving
Master Students
Tengjie Lin
M.Sc. Candidate
School of Software Technology
Probabilistic Program Synthesis, Programming Theory/Languages, Static Analysis, Formal Methods, Datalog
Wangyue Lu
M.Sc. Candidate
School of Software Technology
Automated Verification, Formal Methods, Static Analysis
Yazhou Tang
M.Sc. Candidate
College of Computer Science and Technology
Formal Methods, Programming Theory/Languages, Program Verification, Theorem Proving
Yucheng Wang
M.Sc. Candidate
College of Computer Science and Technology
Formal Verification of Operating Systems, Theorem Proving, Programming Theory/Languages
Hengzhi Yu
M.Sc. Candidate
College of Computer Science and Technology
Cyber-Physical Systems, Hybrid Systems
Xiaoning Zhang
M.Sc. Candidate
College of Computer Science and Technology
Formal Methods, Theorem Proving
Yiyang Zhou
M.Sc. Candidate
School of Software Technology
Programming Theory/Languages, Formal Methods, Quantum Communication Protocols
Visitors
Soroush Farokhnia
Visitor
Computer Science and Engineering
Smart Contract Optimization and Formal Verification, Consensus Protocol Analysis, MEV, Fairness, and Protocol-Level Economics
Sergei Novozhilov
Visitor
Computer Science and Engineering
Probabilistic Systems, Symbolic Computations, Parametrized Algorithms
Administration
Alumni
Master Alumni
Zhiyang Li
M.Sc. Student
College of Computer Science and Technology
Quantitative Reasoning, Verification and Synthesis, Quantum Programming, Programming Theory/Languages
Bachelor Alumni
Yixuan Bu
Bachelor Student
College of Computer Science and Technology
Quantitative Reasoning, Automated Synthesis, Static Analysis, Probabilistic Programs, Inductive Invariants
He Li
Bachelor Student
College of Computer Science and Technology
Service Computing, Service Regulation, Multimodal Learning, Language Design
Siyuan Zhu
Bachelor Student
College of Computer Science and Technology
Probabilistic Programs, Determinization, Compiler Optimization, Static Analysis, Logic
Intern Alumni
Zhiang Wu
Intern
Hong Kong University of Science and Technology
Formal Verification, Probabilistic Programs, Inductive Invariants, Craig Interpolation
Junhao Zhuo
Intern
College of Computer Science and Technology
AI Agents, Agent Infrastructure, Machine Learning
Administration Alumni
