Program verification/analysis, software engineering, and programming languages.
PhD Student at University of Southern California.
Opinions are my own.