Logical Systems Lab @ Carnegie Mellon University

  1. LS Lab

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.

Improving the safety of cyber-physical systems (2min)

[AvH Video (2min) | Brief Video (10min) | More Videos]


 

Quickly

 ⇓ Download ⇓     KeYmaera X    Installation Info 
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid SystemsLogical Foundations of Cyber-Physical Systems
Differential Dynamic Logic for Hybrid SystemsLogical Foundations of Cyber-Physical Systems
Read more about this research

 

Announcements

Textbook on Logical Foundations of Cyber-Physical Systems, Springer 2018
  1. CPS V&V Grand Prix announced for
    Logical Foundations of Cyber-Physical Systems course
  2. Videos for the Logical Foundations of Cyber-Physical Systems textbook
  3. Textbook on Logical Foundations of Cyber-Physical Systems appeared with Springer 2018

People

Faculty

Andre Platzer
André Platzer
Stefan Mitsch
Stefan Mitsch

Assistant

LauranceBöhnke
Laurence Böhnke (KIT)

Ph.D. Students

Jonathan Laurent
Jonathan Laurent (KIT)
Aditi Kabra
Aditi Kabra (CMU)
Noah Abou El Wafa
Noah Abou El Wafa (KIT)
Marvin Brieger
Marvin Brieger (LMU)
Long Qian
Long Qian (CMU)
Jonathan Hellwig
Jonathan Hellwig (KIT)

Post-docs

Enguerrand Prebet
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.