Principal Investigator

Avatar

Mingshuai Chen

ZJU100 Young Professor

College of Computer Science and Technology

Formal Methods, Logic · Verification · Synthesis, Quantitative Reasoning, Programming Theory/Languages, Probabilistic/Quantum Systems, Cyber-Physical Systems

Ph.D. Students

Avatar

Linyu Yang

Ph.D. Candidate

College of Computer Science and Technology

Abstract Interpretation, Static Analysis, Type Theory, Theorem Proving, Programming Theory/Languages

Avatar

Mingqi Yang

Ph.D. Candidate

College of Computer Science and Technology

Verification Meets AI, Probabilistic Systems, Quantitative Reasoning, Program Synthesis

Avatar

Yutao Sun

Ph.D. Candidate

College of Computer Science and Technology

Service Computing, Service Regulation, Multimodal Learning, Language Design

Master Students

Avatar

Zhiyang Li

M.Sc. Candidate

College of Computer Science and Technology

Quantitative Reasoning, Verification and Synthesis, Quantum Programming, Programming Theory/Languages

Avatar

Zhongyi Wang

M.Sc. Candidate

School of Software Technology

Abstract Interpretation, Static Analysis, Automated Verification, Programming Theory/Languages

Bachelor Students

Avatar

He Li

Bachelor Student

College of Computer Science and Technology

Service Computing, Service Regulation, Multimodal Learning, Language Design

Avatar

Siyuan Zhu

Bachelor Student

College of Computer Science and Technology

Probabilistic Pointer Programs, Programming Theory/Languages, Compiler Optimization, Static Analysis, Logic

Avatar

Yixuan Bu

Bachelor Student

College of Computer Science and Technology

Quantitative Reasoning, Automated Synthesis, Probabilistic Programs, Inductive Invariants

Administration

Avatar

Lu Lin

Secretary

College of Computer Science and Technology

Alumni

Intern Alumni

Avatar

Pengcheng Wang

Intern

College of Computer Science and Technology

Verification · Synthesis, Cyber-Physical Systems, Differential Geometry, Hybrid Systems, Model Learning

Avatar

Zhiang Wu

Intern

Hong Kong University of Science and Technology

Formal Verification, Probabilistic Programs, Inductive Invariants, Craig Interpolation