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.
View general profile