Registered user since Fri 24 Aug 2018
Name:Jaemin Hong
Country:South Korea
Affiliation:UNIST
Personal website: https://hjaem.info/
GitHub: https://github.com/Medowhill
Research interests:Programming Languages, Software Engineering, Formal Verification, Static Analysis
Contributions
Using general profile