Logical Systems Lab @ Carnegie Mellon University

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.
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid SystemsLogical Foundations of Cyber-Physical Systems
KeYmaera: A Hybrid Theorem Prover for Hybrid SystemsHybrid Systems
Differential Dynamic Logic for Hybrid Systems
Read more about this research

Announcements

  1. NSF Workshop on CPS Verification&Validation: Industrial Challenges & Foundations (Spring 2017)
  2. CPS V&V Grand Prix announced for
    Foundations of Cyber-Physical Systems course (Spring 2017)
  3. NSF Workshop on CPS Verification&Validation: Industrial Challenges & Foundations (Spring 2016)
  4. CPS V&V Grand Prix announced for
    Foundations of Cyber-Physical Systems course (Spring 2016)
  5. Foundations of Cyber-Physical Systems course (Spring 2016)
  6. NSF Workshop on CPS Verification&Validation: Industrial Challenges & Foundations (Fall 2014)
  7. CPS V&V Grand Prix announced for
    Foundations of Cyber-Physical Systems course (Fall 2014)

People

Faculty

Andre Platzer
André Platzer
Stefan Mitsch
Stefan Mitsch

Assistant

Jessica Packer
Jessica Packer

Ph.D. Students

Erik Zawadzki
Erik Zawadzki
Joao Martins
João Martins
Nathan Fulton
Nathan Fulton
Brandon Bohrer
Brandon Bohrer
Yong Kiam Tan
Yong Kiam Tan
Katherine Cordwell
Katherine Cordwell

Postdocs

Andrew Sogokon
Andrew Sogokon

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.