I am a PhD student affiliated with with the COMMIT group at MIT CSAIL where I am advised by Prof. Saman Amarasinghe. My broader research interets 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 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 intereted in languages for high level linear 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 visualiation of finite element solutions. I was advised by Gordon Kindlmann, L. Ridgway Scott, Charisee Chiw, and John Reppy. I worked on the Diderot Language and contributed to the Firedrake Project. I was part of the VIS-PL Lab.
Curriculum Vitae (Accurate about a year ago-ish)
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 am also currently trying to read In Search of Lost Time. My favorite branches of mathematics are Functional Analysis and Numerical Analysis. Fixed point theorems are the best. If you are interested in any of the above, feel free to ping me.