![Yanju Chen](https://popl24.sigplan.org/getProfileImage/yanjuchen/d99fdc02-2414-4345-adf9-757277fb1edb/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
POPL 2024-profile
View general profile
View general profile