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

  • Research Area: Verification of Hybrid Systems
  • Personal URL: http://www.cs.cmu.edu/~sloos
  • Publications

    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.

    Awards

    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)
    Google

    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