Sarah Loos

  • Program Years: 2011-2015
  • Academic Institution: Carnegie Mellon University
  • Field of Study: Verification of Hybrid Systems
  • Academic Advisor: Andre Platzer
  • Practicum(s):
    Oak Ridge National Laboratory (2013)
  • Degree(s):
    Ph.D. Computer Science, Carnegie Mellon University
    B.S. Mathematics, and B.S. Computer Science, Indiana University, 2009

Current Status


Jan-David Quesel, Stefan Mitsch, Sarah Loos, Nikos Aréchiga, and André Platzer.
How to model and prove hybrid systems with KeYmaera: A tutorial on safety. Software Tools for Technology Transfer (STTT). 2015.

Sarah M. Loos, David Witmer, Peter Steenkiste, and André Platzer.
Efficiency Analysis of Formally Verified Adaptive Cruise Controllers
In 16th International IEEE Conference on Intelligent Transportation Systems, ITSC 2013, The Hague, The Netherlands, Proceedings, 2013.

Sarah M. Loos, David Renshaw, and André Platzer.
Formal Verification of Distributed Aircraft Controllers (Case study paper)
In Hybrid Systems: Computation and Control, HSCC, Philadelphia, USA, April 8-11. 2013.

Nikos Aréchiga, Sarah M. Loos, André Platzer, and Bruce H. Krogh.
Using theorem provers to guarantee closed-loop system properties.
In Dawn Tilbury, editor, American Control Conference, ACC, Montréal, Canada, June 27-29. 2012.

Stefan Mitsch, Sarah M. Loos, and André Platzer.
Towards Formal Verification of Freeway Traffic Control.
In International Conference on Cyber-Physical Systems, ICCPS, Beijing, China, April 17-19. 2012.

Akshay Rajhans, Ajinkya Bhave, Sarah M. Loos, Bruce H. Krogh, André Platzer, and David Garlan.
Using parameters in architectural views to support heterogeneous design and verification.
50th IEEE Conference on Decision and Control and European Control Conference. 2011.

Sarah M. Loos and André Platzer.
Safe Intersections: At the Crossing of Hybrid Systems and Verification.
In 14th International IEEE Conference on Intelligent Transportation Systems, ITSC 2011, Washington, D.C., USA, Proceedings, 2011.

David Renshaw, Sarah M. Loos, and André Platzer.
Distributed theorem proving for distributed hybrid systems.
In Shengchao Qin and Zongyan Qiu, editors, International Conference on Formal Engineering Methods, ICFEM’11, Durham, United Kingdom, Proceedings, LNCS. Springer, 2011.

S. M. Loos, A. Platzer, L. N. Nistor.
Adaptive cruise control: Hybrid, distributed, and now formally verified.
In Michael Butler and Wolfram Schulte, editors, 17th International Symposium on Formal Methods, FM, Limerick, Ireland, Proceedings, LNCS. Springer, 2011.

S. Loos, S. Menzel, M. Poparad,
Three Perspectives on Peer Tutoring for CS1.
Proceedings of the Midwest Celebration of Women in Computing (2006), pp 28-31.


NDSEG – National Defense Science and Engineering Graduate Fellowship (2011, Declined)
American Society for Engineering Education

NSF Graduate Research Fellowship (2009)
National Science Foundation

Anita Borg Memorial Scholarship (2009)

Women@IT Fellowship (2009)
Carnegie Mellon University, Computer Science Department

Graduated from Indiana University (5/2009) with:
High Distinction in Computer Science
Departmental Honors in Computer Science
High Distinction in Mathematics
Completion of Hutton Honors College Program

Student Research Competition (SRC) Grand Finalist,
Association for Computing Machinery (6/2009)
- Took 3rd place for research on Strassen's algorithm.

Phi Beta Kappa
Indiana University (4/2008)
- Inducted as a Junior.

Outstanding Undergraduate Finalist (12/2008)
Computing Research Association (CRA)

Finalist for Churchill Scholarship (1/2009)
The Winston Churchill Foundation

Undergraduate Instructor of the Year (4/2008)
Indiana University School of Informatics

Lilly Undergraduate Scholarship in Informatics (4/2006, 4/2007, 4/2008)
Indiana University School of Informatics

Marie S. Wilcox Scholarship (4/2008)
Indiana University Department of Mathematics