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
519-888-4567 x35321
DC 2335
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) 

Software Engineering Lab

Software and Data→Embedded Software, Hazard and Safety Analysis; A to D profiles
519-888-4510 or x84510
EIT 4008
Research Expertise
  • Broadband networks: Internet protocol (IP), Asynchronous transfer mode (ATM), and Multiprotocol label switching (MPLS)
  • Cellular networks: cross-layer integration, resource management, mobility and power management, opportunistic scheduling
  • Multimedia applications: Content delivery network (CDN), peer-to-peer, and location-based services
  • Network security: Distributed denial of services (DDOS), traffic monitoring
  • Traffic engineering: quality of service, game theory and pricing, dynamic provisioning, network design, routing, congestion control, scheduling
  • Wireless networks: sensors and Wireless local area networks (WLANs)
Connected and Autonomous→Mobile Security, Vehicle to Everything Communications (V2X); Powertrain and Emissions→Sensors; Software and Data→Hazard and Safety Analysis; N to S profiles