Our People - Hazard and safety analysis

519-888-4567 x34871
Location: 
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

Group(s): 
Connected and Autonomous→Vehicle control; Software and Data→Embedded software, Hazard and safety analysis; A to D profiles
519-888-4567 x35321
Location: 
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

Group(s): 
Software and Data→Embedded software, Hazard and safety analysis; A to D profiles
519-888-4510 or x84510
Location: 
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)
Group(s): 
Connected and Autonomous→Mobile security, V2X - Communications; Powertrain and Emissions→Sensors; Software and Data→Hazard and safety analysis; N to S profiles