I'm interested in programming languages, especially verification and formal methods. Currently, I'm a graduate student at the University of Washington. I work on the Herbie tool, which reduces floating-point error in programs. I also work on the e-graph library Egg. Are you recruiting for research internships? Check out my resume.