Song Gao (高嵩)’s Homepage


  • 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




  • 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