# Sarah M. Loos

> Staff Software Engineer, Planner Evaluation at Waymo

Location: San Francisco Bay Area, United States
Profile: https://flows.cv/sarahmloos

## Work Experience
### Staff Software Engineer @ Waymo
Jan 2022 – Present

### Senior Validation Engineer @ Apple
Jan 2020 – Jan 2022
Autonomous Systems Verification and Validation.

### Senior Software Engineer, Tech Lead - Google Research @ Google
Jan 2018 – Jan 2020
Developed the first deep neural networks for guiding proof search.
https://scholar.google.com/citations?user=9j79kA8AAAAJ&hl=en

### Software Engineer @ Google
Jan 2015 – Jan 2018 | San Francisco

### PhD, Computer Science Department, School of Computer Science @ Carnegie Mellon University
Jan 2009 – Jan 2015 | Greater Pittsburgh Region
Thesis: Differential Refinement Logic
- CMU School of Computer Science Dissertation Award, runner up, 2016
- National Science Foundation (NSF) Graduate Research Fellowship Program, 2009-2011
- U.S. Department of Energy (DOE) Computational Science Graduate Fellowship (CSGF), 2011-2014
- Young Researcher Award, Heidelberg Laureate Forum, 2013
- National Defense Science and Engineering Graduate Fellowship (NDSEG), 2009

Topic: Formal Verification of Cyber-Physical Systems
Developed new methods to formally verify safety-critical cyber-physical systems, like computer-controlled cars and aircraft.  Created Differential Refinement Logic for connecting abstract models to more concrete implementations,  enabling verification of more challenging systems, modular proof structure, and iterative system design.  Defined provable refinement relations between event-driven and time-triggered controls systems.  Developed relationships between refinable open-loop control envelopes and closed-loop safety requirements.
 
Faculty hiring committee (one of six members), Ph.D. admissions committee.

https://cs.cmu.edu/~sloos

### Ph.D. Researcher @ Oak Ridge National Laboratory
Jan 2013 – Jan 2013
DOE Computational Science Graduate Fellowship Practicum
Developing differential dynamic logic for quantum computing algorithms.

### Undergraduate Instructor @ Indiana University, Department of Computer Science
Jan 2007 – Jan 2009
Lead lab sections, proctor exams, and hold office hours for Introduction to Computer Science course.

### Undergraduate Intern @ Indiana University, Department of Computer Science
Jan 2006 – Jan 2006
Proctor exams and lead help sessions for Finite Mathematics course.

### Peer Tutor @ Indiana University, Department of Computer Science
Jan 2006 – Jan 2006
Peer tutor for Introductory Computer Science course.

### Software Engineer Intern @ Google, Inc.
Jan 2008 – Jan 2008 | Mountain View, California, United States


## Education
### Ph.D. in Computer Science Department
Carnegie Mellon University

### Bachelor of Science (B.S.) in Computer Science; Mathematics
Indiana University Bloomington


## Contact & Social
- LinkedIn: https://linkedin.com/in/smloos
- Portfolio: http://www.sarahmloos.wordpress.com

---
Source: https://flows.cv/sarahmloos
JSON Resume: https://flows.cv/sarahmloos/resume.json
Last updated: 2026-04-12