ESEC/FSE 2022 (series) / Fei He
Registered user since Thu 5 Jul 2018
Name:Fei He
Bio:
Prof. Dr. Fei He is currently an associate professor at the School of Software of Tsinghua University. He received the PhD. degree from Tsinghua University in 2008. His research interests include model checking, program analysis and verification and automated logic reasoning.
Country:China
Affiliation:Tsinghua University
Personal website: https://feihe.github.io/
Research interests:formal methods, program analysis, automated reasoning
Contributions
ESEC/FSE 2022-profile
View general profile
View general profile