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.
Dr. Czarnecki is an Professor in the Department of Electrical and Computer Engineering of the University of Waterloo, where he is also cross-appointed with the Department of Computer Science, and is the Director of the Generative Software Development Lab.
Dr. Day is an Associate Professor in the David R. Cheriton School of Computer Science at the University of Waterloo. She is also a founding member of the Waterloo Formal Methods (WatForm) research group and a member of the Software Engineering Lab.
Dr. Fischmeister is an Associate Professor in the Department of Electrical and Computer Engineering at the University of Waterloo, as well as a member of the Real-time Embedded Software Group.
Dr. Gebotys is a Professor in the Department of Electrical and Computer Engineering at the University of Waterloo.