Welcome to THUFV Lab

We are a research group at the School of Software, Tsinghua University. Our aim is to explore and understand formal verification, including model checking, programming language, static analysis, verification of contracts and circuits, etc.

We are looking for passionate new PhD students, Postdocs, and Master students to join the team! Do not hesitate to contact us if you’re interested in our research.