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.
This person is not in the org chart