I am an Associate Professor in the Department of Computer Science, University of Southern California (USC). My expertise is in software engineering — I develop techniques for principled design of systems to improve safety and security.

Research topics: formal verification, program repair, concurrency, side channel, AI safety

[Google Scholar]

News:  I am chairing the CAV 2020 conference.