Fei He

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.


Education & Employment


Academic Services

Current Students

Past Students