Home

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

[Google Scholar]