I graduated from Brown University in May 2016 (ScB Mathematics – Computer Science).
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.