Speaker

Fei He

Fei He is a tenured Associate Professor in the School of Software at Tsinghua University. His research interests include program verification, model checking, and automated logical reasoning. He has published over 90 papers in academic journals and international conferences. He currently serves on the editorial board of Theory of Computing Systems and has served on the program committees of numerous international conferences, including OOPSLA, ICSE, ESEC/FSE, CONCUR, FMCAD, SAT, etc.

Talks at this event:

 Overview