Fei He Associate Professor School of Software Tsinghua University Beijing 100084, China Office: Room 11-307, East Main Building, Tsinghua University Email: hefei at tsinghua dot edu dot cn Phone: +86-10-62773278

Research Interests

Formal verification, program analysis and decision procedures.

Here is my Publication List

Here is my THUFV lab

I am currently looking for highly motivated postdoctoral and PhD students. All interested candidates are welcome to apply. Kindly send your CV to me via email.

News

• Mar 03, 2026: Our ICSE'26 paper, titled "Accurate Inference of Termination Conditions", was selected to receive the [ACM SIGSOFT Distinguished Paper Award].

• Our program verification tool Deagle won the gold medal in "ConcurrencySafety" category in SV-COMP 2022, 2023 and 2025!

Education & Employment

• Associate Professor, School of Software, Tsinghua University, 2011.12 - present

• Visiting Scholar, Carnegie Mellon University (with Prof. Edmund Clarke), 2010.9 - 2011.3

• Assistant Professor, School of Software, Tsinghua University, 2008.5 - 2011.12

• Visiting Scholar, Politecnico di Milano (with Prof. Carlo Ghezzi), 2006.11 - 2007.4

• Ph.D., Department of Computer Science and Technology, Tsinghua University (advisor Prof. Jiaguang Sun), China, 2008.1

• Bachelor, College of Computer, National University of Defense Technology (NUDT), China, 2002.7

Teaching

• Discrete Mathematics I (undergraduate course)

• Software analysis and verification (undergraduate course)

• Formal software verification (graduate course)

• Modeling and analysis of embedded computing systems (graduate course)

Academic Services

• Associate editor, Theory of Computing Systems, 2021 - present

• Young associate editor, Frontiers of Computer Science, 2013 - present

• Program/Reviewer committee member (current): PLDI 26', POPL 27'

• Program/Reviewer committee member (past): ICSE 23-25', OOPSLA 24', ESEC/FSE 22', FMCAD 20-22' & 16-18', SAT 21-22', ATVA 22', ICTAC 22', FMAC 16-19', CONCUR 18', ATVA 18', MEMCODE 18', SETTA 16-17', ICECCS 17' & 13-15', APLAS 14'

• Local Arrangement Chair, ISSTA 19'

• Program committee co-Chair: YR-SETTA 17'

Current Students

• Zhilei Han (PhD student, since 2021)

• Zhijie Xu (PhD student, since 2022)

• Biting Huang (PhD student, since 2023)

• Pei Wang (PhD student, since 2023)

• Zhiheng Cai (PhD student, since 2024)

• Jiewei Chen (PhD student, since 2024)

• Baiting Jiang (PhD student, since 2024)

• Jiaxin Liu (PhD student, since 2025)

• Shiyue Liu (PhD student, since 2025)

• Yiding Liu (Master student, since 2024)

• Zan Gong (Master student, since 2025)

• Hang Liu (Master student, sinde 2025)

Past Students

• Zhihang Sun (PhD 2025, Huawei)

• Hongyu Fan (PhD 2024, Huawei)

• Qianshan Yu (PhD 2022, ZGC Lab)

• Jianhui Chen (PhD 2021, Huawei)

• Delong Zhang (Master 2025, Huawei)

• Yang Zhang (Master 2024, DeepSeek)

• Xingyu Xie (Master 2024, PhD student in MPI-SP)

• Chong Ye (Master 2023, Huawei)

• Rongchen Xu (Master 2022, Huawei)

• Jitao Han (Master 2021, Huawei)

• Liu Yang (Master 2021, Meituan)

• Fengmin Zhu (Master 2020, PhD student in MPI-SWS)

• Qinyu Wang (Master 2020)

• …