Alex Sanchez-Stern is a Postdoctoral researcher at UMass Amherst. He did his undergraduate and Masters degree at the University of Washington, where he was part of the team that built Herbie, Herbgrind, and FPBench, tools for floating-point synthesis, floating-point analysis, and floating-point benchmarking respectively. His PhD was at the University of California San Diego, where he built the proof synthesis tool Proverbot9001, and conducted the proof engineering study REPLica. Since then he’s been working at UMass with collaborators at UC San Diego and UC Los Angeles, University of Lisbon, and Lawrence Livermore National Laboratory on several different tasks related to automated proof synthesis.