Fei He

Joined
February 2025

Names

Fei He (Preferred)

Emails

****@tsinghua.edu.cn (Confirmed)

Personal Links

Career & Education History

Associate Professor
School of Software, Tsinghua University (tsinghua.edu.cn)
2011 – 2025

Advisors, Relations & Conflicts

No relations added

Expertise

program verification
Present
satisfiability
Present
model checking
Present

Publications

Co-Authors