I am a currently Ph.D student in POSTECH, and collaborating with the FLINT group of Yale University on verification of the CertiKOS.
e-mail: firstname.lastname@example.org, email@example.com
office: PIRL 423 in POSTECH,
AKW, Prospect 51 St. in Yale (Now).
B.S. in Computer Science from POSTECH, South Korea.
I am currently interested in development of ARM hypervisor.