LS Lab
People
Research
Publications
Courses
Logical Systems Lab @ Carnegie Mellon University
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.
Read more
about this research
News
Consider submitting to
LfSA 2012 - Logic for System Analysis
People
Faculty
André Platzer
Postdocs
Ping Hou
Ph.D. Students
David Renshaw
Sarah Loos
Erik Zawadzki
João Martins
Visitors
Stefan Mitsch
Romuald Brillout
Last modified: 2011-07-24
Copyright © André Platzer