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


Education & Employment


Academic Services

Current Students

Past Students