Alex Sanchez-Stern
Hey I’m Alex Sanchez-Stern, I’m a Postdoctoral researcher at UMass Amherst. I graduated from the University of Washington with a Masters degree in the Spring of 2016, and finished my PhD at UC San Diego in the Spring of 2021. I’m also part of the team at the UW that built Herbie. I’m generally interested in using programming language techniques to bring hard-fought domain expertise to more everyday programmers. My PhD thesis was on Proverbot9001, a neural-guided proof search tool described on the projects page, and in the MAPL paper below.
Publications
Passport: Improving Automated Formal Verification with Identifiers
TOPLAS 2023
NSV 2016
PLDI 2015 (Distinguished Paper Award)
Contact
You can reach me at alex.sanchezstern@gmail.com. I’m also on GitHub.