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.
Go back to publications here.