Joanne Atlee

Professor, Computer Science
Contact Information
Groups
Connected and Autonomous, Vehicle Control, Software and Data, Embedded Software, Hazard and Safety Analysis, A to D profiles
Links
Link to profile: Joanne Atlee
Additional Information

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