conf.researchr.org / Qiyuan Zhao
![Qiyuan Zhao](https://conf.researchr.org/getProfileImage/qiyuanzhao/63fe5055-661f-49f7-9ddf-f4070bbce2fa/small.jpg?1712558560000)
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