Yanju Chen

Registered user since Fri 20 Dec 2019

Name:Yanju Chen
Country:United States
Affiliation:University of California at Santa Barbara
Research interests:Program Synthesis, Program Verification, Artificial Intelligence

Contributions