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.