https://oflatt.com

Oliver FlattOliver FlattOliver Flattresume | oflatt@cs.washington.edu | twitter | youtubepublicationsprojectsblogI'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.PublicationsLoad Morehttps://oflatt.com

Të modifikoni faqen tuaj?

Çfarë po bën?