Program Years:
2011–2015
University:
Carnegie Mellon University
Field of Study:
Verification of Hybrid Systems
Advisor:
Andre Platzer
Degree(s):
Ph.D. Computer Science, Carnegie Mellon University
B.S. Mathematics, and B.S. Computer Science, Indiana University, 2009
B.S. Mathematics, and B.S. Computer Science, Indiana University, 2009
Practicum Experience(s)
Oak Ridge National Laboratory (2013)
Practicum Supervisor(s):
Ryan
Bennink
Practicum Title:
Verification of Quantum Analog Digital (QuAD) Systems
Current Status
Research Area:
Verification of Hybrid Systems
Personal URL:
http://www.cs.cmu.edu/~sloos
Annual Program Review Abstracts
Fellow Presentation
:
Verifying Distributed Car and Aircraft Systems With Logic and Refinement
(2015
)