My research interests primarily lie in software security and program analysis,. Recently, I mainly worked on developing techniques for automatically detecting and patching vulnerabilities in software.