Partner labs
Waterloo Autonomous Vehicles Lab
Collaboration on autonomous vehicle perception, planning, and control.
Real-Time Embedded Software Group
Collaboration on embedded software and hardware.
Motion Research Group
Collaboration on vehicle modeling and control.
Waterloo Formal Methods
Collaboration on formal specification and verification methods.
Project collaborations
NSERC CREATE in Product-Line Engineering for Cyber-Physical Systems
Professor Czarnecki is the principal investigator of this NSERC CREATE grant.
ERATO HASUO Metamathematics for Systems Design
Professor Czarnecki is the co-applicant.