519-888-4567 x34871
DC 2337
Research Expertise
  • Analysis of software requirements and specifications with computer-aided tools and techniques
  • Configurable model-driven development (MDD)
  • Practitioner-friendly specification and design notations that have precise semantics suitable for automated analysis
  • Software modeling, model checking, documentation, and analysis

Waterloo Formal Methods Research Group

Connected and Autonomous→Vehicle control; Software and Data→Embedded software, Hazard and safety analysis; A to D profiles