I'm interested in programming languages and synthesis. Currently, I'm an undergraduate at the University of Utah doing research on reducing floating point error in programs. Check out Herbie if you want to learn more. I'm also applying for graduate school this year, so check out my resume if you are recruiting.
I also like to work on a bunch of personal projects, you can see them here.