15-424: Logical Foundations of Cyber-Physical Systems (Fa'21)

  1. Home
  2. >>
  3. Courses
  4. >>
  5. LFCPS Fa21
  6. >>
  7. Grand Prix

CPS V&V Grand Prix

In the CPS V&V Grand Prix (CPS Verification & Validation Grand Prix), students in the CMU course Logical Foundations of Cyber-Physical Systems will have the opportunity to present their final projects to a panel of experts in CPS who will give them feedback from an industry perspective and insights into the state-of-the-art verification & validation methods used for CPS. In addition to the opportunity to show off their results to these industry representatives, a few top projects and presentations will be awarded prizes (not to mention the fame and glory that inevitably comes with being a verification rockstar).

Support and Contributions

Industry sponsors for prizes donated to the 15-424/624/824 CPS V&V Grand Prix 2021 make the 15-424/624/824 LFCPS final project competition more fun thanks to prizes donated by sponsors that will be announced as the time gets closer.


Gold Sponsor:



Silver Sponsor:



Additional Support:



Judges for the Competition

The CPS V&V Grand Prix 2021 for the 15-424/624/824 CPS final project competition involves judges from the companies and organizations that will be announced as the time gets closer.




Final Project Competition

Date: Friday December 10, 2021 during finals week.
Time: 1:00pm-7:00pm EST Pittsburgh time
Place: Virtual from your home
Projects: Projects entering the CPS V&V Competition
Overview: CPS V&V Grand Prix overview presentation

Previous Competitions

To get an idea of what to expect, check out previous instances: