Nancy Day

Nancy Day is an Associate Professor at the University of Waterloo's Department of Computer Science. Her research focuses on software engineering and formal methods, particularly in declarative behavioral modeling languages and model checking techniques. She holds a Ph.D. (1998) and M.Sc. (1993) from the University of British Columbia, and a B.Sc. (1991) from the University of Western Ontario.

Her work emphasizes formal specification of software requirements, with contributions to tools like Alloy integration with SMT solvers, hierarchical state modeling (Dash), and static analysis of formal models. Notable projects include Portus for linking Alloy with SMT-based model finding and ALDB for debugging Alloy-based behavioral requirements.

Recent publications (2018–2024) explore diversity in software engineering conferences, static symmetry breaking, and formal methods for automotive feature interactions. She teaches computer-aided verification courses (e.g., CS 745) and has contributed to tools like Metro for template semantics analysis.