SPLASH 2024 (series) / Jiangyi Liu
![Jiangyi Liu](https://2024.splashcon.org/getProfileImage/jiangyiliu/007486b6-da0e-46ba-a99a-7d3bdaa6d42e/small.jpg?1731244337000)
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
Personal website: https://pages.cs.wisc.edu/~panda2134
GitHub: https://github.com/panda2134
Research interests:Programming Languages, Formal Verification
Contributions
SPLASH 2024-profile
View general profile
View general profile