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

[News]

[Google Scholar]