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.