SPLASH 2023 (series) / Jiangyi Liu
![Jiangyi Liu](https://2023.splashcon.org/getProfileImage/jiangyiliu/58d9889d-ec36-4325-aeae-458d5f2a3557/small.jpg?1711874482000)
Registered user since Sat 2 Jul 2022
Name:Jiangyi Liu
Country:China
Affiliation:Tsinghua University
Research interests:Programming Languages Theory, Software Verification
Contributions
SPLASH 2023-profile
View general profile
View general profile