Research Statement

Software plays a crucial rule in the digital age. Yet, it is still very challenging to develop correct and secure software, even for veteran software developers. The goal of my research is to prove the absence of software errors, and further, generate fixes when things go wrong. My research currently includes security, privacy, type safety and software correctness.

I'm looking for highly-motivated and outstanding PhD applicants who are interested in security and programming languages. Please Apply.

Selected Projects

[Google scholar] [Complete List]

Honors and Awards

NSF CAREER Award, 2020
The Caspar Bowden PET Award, Runner-Up, 2019
CCS'18 Outstanding Paper Award, 2018
PLDI'15 Distinguished Paper Award, 2015



Professional Activities


My research is currently supported by NSF 2401182, 2401496.