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

Personal Website

Group(s): 
Connected and Autonomous→Vehicle Control; Software and Data→Embedded Software, Hazard and Safety Analysis; A to D profiles
Research Expertise
  • Embedded systems and software
  • Generative programming and model-based software development
  • Software design
  • Software system families and product lines

Waterloo Intelligent Systems Engineering Lab (WISE Lab)

Group(s): 
Connected and Autonomous→Automated Driving, Vehicle to Everything Communications (V2X); Software and Data→Embedded Software, Multi-disciplinary Optimization; A to D profiles
Research Expertise
  • Development of automated and interactive formal methods tools
  • Formal methods of system analysis
  • Hardware verification
  • Requirements specification and analysis
  • Software Engineering
  • System safety

Waterloo Formal Methods (WatForm) 

Personal Website

Group(s): 
Software and Data→Embedded Software, Hazard and Safety Analysis; A to D profiles
Research Expertise
  • Distributed Embedded Real-Time Systems
  • Real-Time Safety Critical Software

Real-time Embedded Software Group

Group(s): 
Connected and Autonomous→Automated Driving, Mobile Security, Vehicle to Everything Communications (V2X); Software and Data→Embedded Software; E to H profiles
Research Expertise
  • Embedded Hardware Security
  • Countermeasures for Hardware Hacking, including techniques for resistance to side channel analysis, reverse engineering, fault injection attacks
  • Protection of Keys, Secure Boot
Group(s): 
Connected and Autonomous→Mobile Security; Software and Data→Embedded Software; E to H profiles

Research Expertise

  • Software Engineering
  • Autonomous vehicles
  • Cybersecurity
  • Infrastructure Integrity
  • Software Engineerin

Personal Website

Group(s): 
Connected and Autonomous→Automated Driving, Mobile Security; Software and Data→Embedded Software, Multi-disciplinary Optimization; N to S profiles