![Fei He](https://2022.techdebtconf.org/getProfileImage/feihe/bb42f395-c8c9-4323-86bb-5ba8a958d2e5/small.jpg?1711453903000)
Registered user since Thu 5 Jul 2018
Name:Fei He
Country:China
Affiliation:Tsinghua University
Personal website: https://feihe.github.io/
Research interests:formal methods, program analysis, automated reasoning
Contributions
ICSE 2022-profile
View general profile
View general profile