Registered user since Thu 5 Jul 2018
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.
|ESEC/FSE 2022||Committee Member in Program Committee within the Research Papers-track|
|Show activities from other conferences|
View general profile