Are you interested in pursuing a PhD in computer science? Please join us today for a discussion with CSE alum and current UCSD PhD student Alex Sanchez-Stern! In comparison to our previous PhD info sessions, this will provide additional/deeper information and will be a more informal conversation. We hope to see you there! Snacks will be provided.
Monday Nov. 13th, 3:30 – 4:30pm
CSE 305
Alex Sanchez-Stern graduated from University of Washington in 2015 with his Bachelors of Computer Science and in 2016 with his Masters of Computer Science, and is currently pursuing a PhD at UCSD in San Diego. At the University of Washington he worked on research in numerical software, and he is currently researching numerical program debugging and proof synthesis. He’ll be talking about his two current projects, Herbgrind, a tool for identifying root causes of floating point error, and Proverbot9001, a system for generating program correctness proofs using machine learning. Both projects are in collaboration with UW researchers. He’ll also talk about the process of pursuing a PhD, and the benefits of graduate school.