Joanne Atlee

Professor and director of women in computer science
Contact Information
519-888-4567, ext. 34871
Location: Davis Centre (DC) 2337
Links
Link to personal webpage: https://cs.uwaterloo.ca/~jmatlee/
Additional Information

An internationally leading expert in software verification and formal methods, best known for her pioneering work on feature interactions and feature-oriented requirements modelling.