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
Research interests:Programming Languages, Formal Verification

Contributions

Show activities from other conferences

Using general profile