Embedded Software; Hazard & Safety Analysis; Vehicle Control
Dr. Atlee is an Associate Professor with the David R. Cheriton School of Computer Science at the University of Waterloo. She is also a member of the Waterloo Formal Methods Research Group (WatForm), a collaborative research effort that draws members from both Computer Science and Electrical and Computer Engineering departments.
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
Contact Information:
- jmatlee@uwaterloo.ca
- 519-888-4567 ext 34871