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

Announcements

  1. NSF Workshop on CPS Verification&Validation: Industrial Challenges & Foundations (Fall 2014)
  2. CPS V&V Grand Prix announced for
    Foundations of Cyber-Physical Systems course (Fall 2014)

People

Faculty

Andre Platzer
André Platzer

Assistant

Sammi DiNardo
Sammi DiNardo

Postdocs

Khalil Ghorbal
Khalil Ghorbal
Stefan Mitsch
Stefan Mitsch
Jean-Baptiste Jeannin
Jean-Baptiste Jeannin
Ran Ji
Ran Ji

Ph.D. Students

Sarah Loos
Sarah Loos
Erik Zawadzki
Erik Zawadzki
Joao Martins
João Martins
David Henriques
David Henriques
Nathan Fulton
Nathan Fulton

Alumni

Former Postdocs

Jan-David Quesel
Jan-David Quesel
Marcus Völp
Marcus Völp
Ping Hou
Ping Hou

Former Visitors

David Vogelbacher
David Vogelbacher
Andrew Sogokon
Andrew Sogokon
Andreas Müller
Andreas Müller
Grant Olney Passmore
Grant Passmore
Yanni A. Kouskoulas
Yanni Kouskoulas
Jean-Bastien Grill
Jean-Bastien Grill
Stefan Mitsch
Stefan Mitsch
Romuald Brillout
Romuald Brillout

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.