A more personal bio is available here.
I am a first-year MSE candidate in computer science at Princeton University. I have yet to be assigned an advisor. My primary research interests are in programming languages and type systems, but broadly my interests span many aspects of theoretical computer science, such as category theory, computational complexity, and logics.
Previously, I attended Cornell University, where I graduated in May 2017 with a B.Sc. in computer science. At Cornell—in stark contrast to the present—I worked on the practical side of things, providing appropriate pedagogical tools for the λ-calculus. I also tinkered with NVIDIA's CUDA programming language.
Feel free to reach out. I'm always down to talk over Hoagie Haven!