Professor and director of women in computer science
519-888-4567, ext. 34871
Location:
Davis Centre (DC) 2337
An internationally leading expert in software verification and formal methods, best known for her pioneering work on feature interactions and feature-oriented requirements modelling.
Link to Personal Website or CV: