Shin Hong

Postdoctoral researcher
Software Testing and Verification Group
School of Computing, KAIST
hongshin@kaist.ac.kr

This page is not maintained anymore. This is a link to my new webpage.