College of Computer Science and Technology

Zhejiang University

Formal Verification Group

The Formal Verification Group (FICTION1), headed by Prof. Dr. Mingshuai Chen, is a research unit embedded in the College of Computer Science and Technology at Zhejiang University (ZJU), Hangzhou, China. We develop formal reasoning techniques for programs and hybrid discrete-continuous systems for ensuring the reliability and effectiveness of safety-critical software systems while pushing the limits of automation as far as possible. Check out the featured publications as examples of our research.

We are constantly on the hunt of self-motivated Postdocs, Ph.D./Master Students, and Research Assistants/Interns to join our group at ZJU. Check out the open positions in case you are interested.


  1. FICTION (/ˈfɪkʃn/) refers to any creative work that may deviate from plausibility. ↩︎

Meet the Team

Researchers

Avatar

Mingshuai Chen

ZJU100 Young Professor

Avatar

Linyu Yang

Ph.D. Candidate

Avatar

Zhiyang Li

M.Sc. Candidate

Avatar

Zhongyi Wang

M.Sc. Candidate

Avatar

Yutao Sun

Ph.D. Candidate

Avatar

Mingqi Yang

Ph.D. Candidate

Avatar

Hengzhi Yu

M.Sc. Candidate

Avatar

Tengjie Lin

M.Sc. Candidate

Avatar

Xiaqing Zhou

Ph.D. Candidate

Administration

Avatar

Lu Lin

Secretary

Contact

  • Wensan Road 232, Hangzhou, Zhejiang 310012
  • Room 510, East Building, North Park, Xixi Campus
  • GitHub Contact
  • Zoom Us