## About Me

I am a PhD student in computer science at the University of Pennsylvania. My advisor is Rajeev Alur. Here is my CV.

I graduated from Brown University in May 2016 (ScB Mathematics – Computer Science).

## Research Interests

Formal methods, automata theory, nonclassical logic (especially modal logics). I am also interested in applications of complexity theory and finite model theory to programming languages and verification. This list is incomplete.

I attend the Penn PL Club.

## Me Elsewhere

## Miscellaneous

## Contact

*Last updated .*