Hey I’m Alex Sanchez-Stern, I’m a masters student at the University of Washington, working on a project called Herbie. I’m graduating from the UW this Spring and I’ll be heading off to UCSD for a PhD. I’m generally interested in Synthesis and Verificaiton projects, although my experience with verification is still pretty limited.
Herbie is a tool to help scientists and programmers write accurate floating point code more easily. You give it a floating point expression, and it tests it against hundreds of points to find a version that’s more accurate.
You can reach me at email@example.com, my university email address, or find me in the Allen G. Center for Computer Science & Engineering, CSE 407 most weekdays during the quarter. My UCSD email address is firstname.lastname@example.org, if you’d rather use that one.