conf.researchr.org / Song Gao
Registered user since Tue 6 Jul 2021
Name:Song Gao
Bio:
I am a PhD candidate in Institute of Software, Chinese Academy of Sciences. My research interests include formal verification, distributed protocols and probabilistic/quantum program logics.
Country:China
Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
Personal website:https://iscasmc.ios.ac.cn/?page_id=1392
Research interests:Formal Verification, Distributed Protocol
Contributions
| ESEC/FSE 2021 | Author of Frontmatter: Mining Android User Interfaces at Scale within the Demonstrations-track |