ESEC/FSE 2022 (series) / Qiyuan Zhao
Registered user since Sat 8 Oct 2022
Name:Qiyuan Zhao
Country:China
Affiliation:Shanghai Jiao Tong University
GitHub: https://github.com/zqy1018
Research interests:Programming Languages, Formal Methods, Theorem Proving, Software Engineering
Contributions
ESEC/FSE 2022-profile
View general profile
View general profile