Hey I’m Alex Sanchez-Stern, I’m a PhD student at the University of California San Diego. I’m also part of the team at the UW that built Herbie. I graduated from the UW with a Masters degree in the Spring of 2016, and started my PhD at UCSD in the Fall of 2016; I’m graduating in the Spring of 2021. I’m generally interested in using programming language techniques to bring hard-fought domain expertise to more everyday programmers. My thesis is on Proverbot9001, a neural-guided proof search tool described on the projects page, and in the MAPL paper below.