Yanju Chen

Registered user since Fri 20 Dec 2019

Name:Yanju Chen
Country:United States
Affiliation:University of California, San Diego
Research interests:Program Synthesis, Program Verification, Security

Contributions