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 recent research interests are:
- Formal Verification of Distributed Protocols
- Logic and Verification of Probabilistic and Quantum Programs
Education
- 09/2017 – present: PhD candidate in Computer Software and Theory at Institute of Software, Chinese Academy of Sciences and University of Chinese Academy of Sciences
- 09/2013 – 07/2017: Information and Computing Sciences (Bachelor’s degree) at SMS, Peking University
Visits
- 10/2019 – 03/2020: visited Andreas Zeller’s group at CISPA/ Universitaet des Saarlandes.
Conferences
- Konstantin Kuznezov, Chen Fu, Song Gao, David N. Jansen, Lijun Zhang, and Andreas Zeller: Frontmatter: Mining Android User Interfaces at Scale. ESEC/FSE 2021. doi
- Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen and Lijun Zhang: Formal Verification of Consensus in the Taurus Distributed Database. FM 2021. doi