About Me
I'm a first year CS PhD Student and NSF GRFP Fellow at CMU S3D interested in PL/SE. I'm advised by Ben Titzer and Jonathan Aldrich, and I've been working on WASM.
I did my undergrad at Purdue as part of PurPL and Purdue Hackers. While I was there, I worked with Guannan Wei on staged symbolic execution for WebAssembly.
I sometimes post stuff on my blog and Twitter, and I more frequently put stuff on my microblog
Interests
I want to make software engineering more productive and accessible by building better tools and languages.
I like longboarding, sci-fi/fantasy, soulslike games, and I've been learning to play guitar.
Favorite Projects
More in the projects tab
- Interactive VSA - Write code with an interactive search
- Scalogic - Minikanren-ish logic programming eDSL
- CalcuLaTeX - calculanguage
- RustScript - The language this site is written in!
