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

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, AI for FM

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

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

Hengzhi Yu

M.Sc. Candidate

College of Computer Science and Technology

Static Analysis, Programming Theory/Languages

Tengjie Lin

M.Sc. Candidate

School of Software Technology

Probabilistic Program Synthesis, Programming Theory/Languages, Static Analysis, Formal Methods, Datalog

Lu Lin

Secretary

College of Computer Science and Technology

Sergei Novozhilov

Visitors

Computer Science and Engineering

Probabilistic Systems, Symbolic Computations, Parametrized Algorithms

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

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