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.


News


Education & Employment


Teaching


Academic Services


Current Students

Past Students