Profiles

Filter by:

Limit to profiles where the name matches:
Limit to profiles where the type is one or more of:

Joanne Atlee

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.