conf.researchr.org / Jiangyi Liu
![Jiangyi Liu](https://conf.researchr.org/getProfileImage/jiangyiliu/58d9889d-ec36-4325-aeae-458d5f2a3557/small.jpg?1711874482000)
Registered user since Sat 2 Jul 2022
Name:Jiangyi Liu
Bio:
I’m a graduate researcher in the field of programming languages. My interest broadly lies in program verification, program synthesis, SMT solvers and theorem provers.
Country:United States
Affiliation:University of Wisconsin - Madison
GitHub: https://github.com/panda2134
Research interests:Programming Languages, Formal Verification
Contributions