Home

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, AI safety, concurrency, side channel

[News]

[Google Scholar]