Private Page – Unsung Lee

 

UNSUNG LEE

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: dnsrjd1212@postech.ac.kr, unsung.lee@yale.edu
office: PIRL 423 in POSTECH,
AKW, Prospect 51 St. in Yale (Now).


Biography

B.S. in Computer Science from POSTECH, South Korea.


 

 


Research

I am currently interested in development of ARM hypervisor.

 

 

 

 


Archives