Sarah Loos

Sarah Loos is a software engineer at Google Research who has worked on logical analysis and formal verification of distributed hybrid systems, and deep learning for theorem proving. She completed a Ph.D. in the Computer Science Department at Carnegie Mellon University, creating differential Refinement Logic for comparing and verifying hybrid systems. During her time at CMU, Sarah was a Department of Energy Computational Science Graduate Fellow and a National Science Foundation Graduate Research Fellow. Sarah has previously served on the board of trustees and board of advisors for the Anita Borg Institute for Women and Technology.