ESEC/FSE 2022 (series) / Qiyuan Zhao
![Qiyuan Zhao](https://2022.esec-fse.org/getProfileImage/qiyuanzhao/9e8a5f63-bf50-43d3-a900-dc6709cc2ac1/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
ESEC/FSE 2022-profile
View general profile
View general profile