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

Mingqi Yang

Ph.D. Candidate

College of Computer Science and Technology

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

Linyu Yang

Ph.D. Candidate

College of Computer Science and Technology

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

Yutao Sun

Ph.D. Candidate

College of Computer Science and Technology

Service Computing, Service Regulation, Multimodal Learning, Language Design

Zhiyang Li

M.Sc. Candidate

College of Computer Science and Technology

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

Zhongyi Wang

M.Sc. Candidate

School of Software Technology

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

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 Pointer Programs, Programming Theory/Languages, Compiler Optimization, Static Analysis, Logic

Yixuan Bu

Bachelor Student

College of Computer Science and Technology

Quantitative Reasoning, Automated Synthesis, Probabilistic Programs, Inductive Invariants

Lu Lin

Secretary

College of Computer Science and Technology

Zhiang Wu

Intern

Hong Kong University of Science and Technology

Formal Verification, Probabilistic Programs, Inductive Invariants, Craig Interpolation

Pengcheng Wang

Intern

College of Computer Science and Technology

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