Research Topics
The Logical Systems Lab develops logic-based analysis and verification techniques for systems and is further devoted to the study of logical systems. It is also known for its flagship verification tool KeYmaera X for hybrid systems.
[AvH Video (2min) | Brief Video (10min) | More Videos]
Quickly
![]() | ![]() |
![]() | ![]() |
Announcements
Textbook on Logical Foundations of Cyber-Physical Systems, Springer 2018-
CPS
V&V Grand Prix announced for
Logical Foundations of Cyber-Physical Systems course - Videos for the Logical Foundations of Cyber-Physical Systems textbook
- Textbook on Logical Foundations of Cyber-Physical Systems appeared with Springer 2018
People
Faculty
![]() André Platzer | ![]() Stefan Mitsch |
Assistant
![]() Laurence Böhnke (KIT) |
Ph.D. Students
![]() Jonathan Laurent (KIT) | ![]() Aditi Kabra (CMU) |
![]() Noah Abou El Wafa (KIT) | ![]() Marvin Brieger (LMU) |
![]() Long Qian (CMU) | ![]() Jonathan Hellwig (KIT) |
Post-docs
![]() Enguerrand Prebet (KIT) |
Alumni
See: Alumni and former members of the Logical Systems Lab
Disclaimer
Please note that some of the links on this web page refer to sites outside of this web page or outside this domain. We are not responsible for the contents of external sites.