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 computer architecture and programming languages. Broadly speaking, I am also interested in theoretical linguistics, computational complexity, and algebraic theories of formal systems.
Previously, I attended Cornell University, where I graduated in May 2017 with a B.Sc. in computer science. At Cornell, I worked on providing appropriate pedagogical tools for the lambda-calculus as part of the research project for my senior thesis. I also tinkered with NVIDIA's CUDA programming language for a different project.