Our research interests include programming languages, program analysis and testing, program verification, and system security.

The research topic is not limited, but especially, we are actively studying static and dynamic program analysis techniques that automatically detect bugs and security vulnerabilities in real-world software.

We are recruiting motivated B.S., M.S., and Ph.D. students! If you are interested in our research and laboratory, please contact Sungho Lee (eshaj@cnu.ac.kr).