SPLASH 2024 (series) / Jiangyi Liu
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
Using general profile