Oliver Flatt

resume | oflatt@cs.washington.edu | twitter | youtube

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.


Load More