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), Vehicle Control; 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
  • Autonomous and intelligent systems
  • Computational intelligence and applications
  • Cognitive robotics and advanced mechatronics
  • Distributed real time systems
  • Concept extraction and natural speech understanding
  • Multi modal information retrieval

Centre for Pattern Analysis and Machine Intelligence (CPAMI)

Personal Website

Group(s): 
Connected and Autonomous→Advanced Driver Assistance Systems (ADAS), Automated Driving, Collaborative Driving, Human Machine Interface (HMI); Powertrain and Emissions→Sensors; Software and Data→Artificial Intelligence, Data - Analytics, Mining and Management, Embedded Software; I to M 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
Research Expertise
  • Radio resource and mobility management
  • Voice over mobile Internet protocol (IP)
  • Wireless ad hoc and sensor networks
  • Wireless network security
  • Wireless/Internet interworking
  • Wireless local area network (WLAN)/Worldwide interoperability for microwave access (WiMAX), Wireless application protocol (WAP), Ultra-wide band (UWB) wireless communications

Personal Website

Group(s): 
Connected and Autonomous→Vehicle to Everything Communications (V2X); Software and Data→Embedded Software; N to S profiles
519-888-4567 x37513
Location: 
E5 4113
Group(s): 
Software and Data→Embedded Software