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
Personal website: https://pages.cs.wisc.edu/~panda2134
GitHub: https://github.com/panda2134
Research interests:Programming Languages, Formal Verification
Contributions
Using general profile