SPLASH 2023 (series) / Yanju Chen
![Yanju Chen](https://2023.splashcon.org/getProfileImage/yanjuchen/c77b451a-37de-4e27-8886-5ef466f04b11/small.jpg?1711473949000)
Registered user since Fri 20 Dec 2019
Name:Yanju Chen
Country:United States
Affiliation:University of California at Santa Barbara
Personal website: https://sites.cs.ucsb.edu/~yanju/
GitHub: https://github.com/chyanju
Research interests:Program Synthesis, Program Verification, Artificial Intelligence
Contributions
SPLASH 2023-profile
View general profile
View general profile