Fei He

Fei He is an Associate Professor at Tsinghua University's School of Software, where he leads the THUFV research lab focused on formal verification and program analysis. His research spans formal methods, automated reasoning, and program verification, with applications in concurrent systems, networking (P4 programs), and probabilistic systems.

Education & Employment:

• PhD from Tsinghua University (2008)
• Visiting Scholar at Carnegie Mellon University (2010-2011) and Politecnico di Milano (2006-2007)
• Faculty positions at Tsinghua since 2008 (Assistant Professor 2008-2011, Associate Professor 2011-present)

Research: He's developed innovative techniques in SMT solving for concurrency verification, termination analysis, and regression verification. His tools like Deagle have won gold medals at SV-COMP. Current work focuses on probabilistic program verification and network program analysis.

Publications: His 80+ publications demonstrate consistent contributions across formal methods (PLDI, OOPSLA, ICSE), networking (NSDI, INFOCOM), and software engineering (TSE, TOSEM), with recent emphasis on data-driven verification and automated invariant inference.

Awards:

• Gold Medals in SV-COMP ConcurrencySafety (2022, 2023, 2025)
• Best Paper Awards at PPoPP 2022 and SETTA 2022

Advising: Mentors 13 PhD/Master's students in THUFV lab, with graduates joining Huawei, MPI-SP, and research institutions. Secured multiple NSF China grants for trustworthy software research.

Service: Associate Editor for Theory of Computing Systems, program committees for PLDI/ICSE/OOPSLA, and former Local Chair for ISSTA 2019.