Write a Blog >>
ESEC/FSE 2021
Mon 23 - Sat 28 August 2021 Athens, Greece

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
Research interests:Formal Verification, Distributed Protocol

Contributions

ESEC/FSE 2021 Frontmatter: Mining Android User Interfaces at Scale
Show activities from other conferences

Using general profile