Registered user since Tue 6 Jul 2021
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.
Affiliation:Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
Research interests:Formal Verification, Distributed Protocol
|ESEC/FSE 2021||Frontmatter: Mining Android User Interfaces at Scale|
|Show activities from other conferences|
Using general profile