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

Research topics: verification, program synthesis, concurrency, side channel, AI safety


[Google Scholar]