Contact
- Office: No. 596, Room 339, Building 5
- Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
- email:
gaos###ios**ac*cn
About me
I am currently a Ph.D student in the group. My main research interests are:
- Formal Verification of Distributed Protocols
- Logic and Verification of Probabilistic and Quantum Programs
Education
- Sept. 2017 – present: Ph.D. Student in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- Sept. 2013 – Jun. 2017: Information and Computing Sciences (Bachelor’s degree) at SMS, Peking University
Visits
- Oct. 2019 – Mar. 2020: visited Andreas Zeller ()’s group at CISPA/Universität des Saarlandes.
Publications
- : Frontmatter: mining Android user interfaces at scale. In ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021, pages 1580-1584, 2021. DOI BIB
- : Formal Verification of Consensus in the Taurus Distributed Database. In Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, volume 13047 of Lecture Notes in Computer Science, pages 741-751, 2021. DOI BIB