I am a PhD student affiliated with the COMMIT group at MIT CSAIL where I am advised by Prof. Saman Amarasinghe. My broader research interests are at the intersection of compilers, programming languages, scientific computing, computer algebra, and numerical analysis. In particular, I am interested in building domain specific languages that allow scientists to write efficient simulations without too much effort. I want to improve science per op. I prefer my domains and scientists to use a lot of mathematics; for example, finite element methods are particularly close to my heart. Right now, I am particularly interested in languages for high level linear and relational algebra across many domains.
I recieved my undergraduate degree in applied mathematics from the University of Chicago where I worked on a DSL for the visualization of finite element solutions. I was advised by Gordon Kindlmann, L. Ridgway Scott, Charisee Chiw, and John Reppy. I worked on the Diderot Language. I was part of the VIS-PL Lab.
I collaborate a lot and work on too many things. Here are some projects and people whom I work with.
I contribute to open source and intend to open source all my projects. I've contributed to Firedrake, Halide, Spack, and Finch.jl among others.
I run the Linear Algebra and Programming Languages Reading group at MIT. I really enjoy sci-fi (e.g. The Culture Novels, Terra Ignota), philosophy of science (e.g. Against Method, The Structure of Scientific Revolutions), and grand strategy games (e.g. EU4, CK3). I participate in several groups that enjoy similar things, most notably the MIT Graduate Sci-fi book club. My favorite branches of mathematics are Functional Analysis and Numerical Analysis. Fixed point theorems are the best. Somehow I also love SQL. If you are interested in any of the above, feel free to ping me.