ICFP/SPLASH 2025 (series) / Yanju Chen
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
Using general profile