Home

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, energy-efficient computing, ML/AI safety

[News]

[Google Scholar]