Alex Sanchez-Stern

Alex Sanchez-Stern

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, 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, if you’d rather use that one.