I am a first-year PhD student in Computer Science at the University of Pennsylvania. I graduated from Brown University in May 2016 (ScB Mathematics – Computer Science.) Here is my CV.
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.
I maintain a website and blog, currently hosted on GitHub Pages.