Professor at the Department of Information and Computational Sciences, School of Mathematical Sciences, Peking University; office located in Room 353, Zhihua Building, No. 5 Yiheyuan Road, Haidian District, Beijing, 100871.
Background
Research interests include formal methods; specializes in Information and Computational Sciences; currently seeking PhD and master students, as well as postdocs with a background in formal methods.