conf.researchr.org / Yoonseung Kim
![Yoonseung Kim](https://conf.researchr.org/getProfileImage/yoonseungkim/d77b8e0e-5a04-409a-93f4-c583a95b5d32/small.jpg?1711502626000)
Registered user since Tue 22 Nov 2016
Name:Yoonseung Kim
Country:United States
Affiliation:Yale University
Personal website: https://kim-yoonseung.github.io/
Research interests:Software Verification
Contributions
Registered user since Tue 22 Nov 2016
Contributions