conf.researchr.org / 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