| LS Lab |
| People |
| Alumn |
| Research |
| Publications |
| Courses |
Logical Systems Lab @ Carnegie Mellon University |
||||||||||||||||||||||||||
| LS Lab | ||||||||||||||||||||||||||
Research TopicsThe Logical Systems Lab develops logic-based analysis and verification techniques for systems and is further devoted to the study of logical systems.
News
PeopleFaculty
Ph.D. Students
Visitors
Former MembersFormer Postdocs
Former Visitors
|
||||||||||||||||||||||||||
|
