
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