Professor, Director of Women in Computer Science; Cheriton School of Computer Science
University of Waterloo
200 University Ave W, Waterloo, ON N2L 3G1
Areas of Expertise
Software specification, analysis of software requirements and specifications with computer-aided tools and techniques, software modelling, model checking, software engineering.
jmatlee@uwaterloo.ca
