I am a postdoctoral researcher at Georgia Tech working with Prof. Mayur Naik. In Feb. 2016, I completed my Ph.D at Seoul National University under the guidance and support of Prof. Kwangkeun Yi. Here is my latest CV.

Research Interests

I am interested in program analysis techniques for software safety and reliability. In particular, I have focused on general methods for improving usability of static analyzers by combining program analysis, machine learning, and homomorphic cryptography.



Professional Activities


Room 2324, Klaus Advanced Computing Building
266 Ferst Drive, Atlanta, GA 30332-0765 USA
Georgia Institute of Technology

Email: woosuk.lee at cc.gatech.edu