Registered user since Tue 17 Sep 2019
Name:Chungha Sung
Country:United States
Affiliation:Amazon Web Services, USA
Personal website: https://chunghasung.org
Research interests:Program Languages, Software Testing & Verification, Program Analaysis, Formal Methods
Contributions
Using general profile