Registered user since Wed 10 May 2017
Name:Youngju Song
Country:United States
Affiliation:Amazon
Personal website: https://people.mpi-sws.org/~youngju/
Research interests:Formal Verification (of all sorts; high-level and low-level software, compiler, and hardware)
Contributions
Using general profile