Fei He

Fei He

Associate Professor
School of Software
Tsinghua Unviersity
Beijing 100084, China

Office: Room 11-307, East Main Building, Tsinghua University
Email: hefei at tsinghua.edu.cn
Phone: +86-10-62773278


Research Interests

Formal verification, program analysis and decision procedures.

Here is my Publication List

Here is my THUFV lab


News


Education & Employment


Teaching


Academic Services


Current Students

Past Students