Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo

I investigate the use of models and formal analysis to improve the quality and safety of software-intensive systems. I work mainly at the requirements level on models of system behaviour. I am particularly interested in providing configurable, optimized tools and methodologies to support the use of custom, formal models in specific domains. I use a range of formal analysis tools: theorem provers, model checkers, SMT and SAT solvers.

I am also very interested in computer science outreach activities. I volunteer at elementary schools to introduce computing to students and participate in related activities with UW's Centre for Education in Mathematics and Computing. I enjoy supporting the tech club at my children's school where we run robots in circles around the teachers!

I currently serve as a Graduate Student Advocate in the Cheriton School of Computer Science.

Areas of research: software engineering, model-driven engineering (MDE), modelling and analysis, formal methods, system safety, requirements specification and analysis.

Research Groups: Waterloo Formal Methods (WatForm), Software Engineering Lab.

Brief Bio: I arrived at the University of Waterloo in January, 2001. Previously, I was a Postdoctoral Research Associate at the Oregon Graduate Institute. I completed my PhD at the University of British Columbia in October 1998 working with Dr. Jeff Joyce. My undergraduate degree is from the University of Western Ontario, where I spent much of my time running with the cross-country and track and field teams. My work has won awards at MODELS (International Conference on Model-Driven Engineering, Languages and Systems) and ISSC (International System Safety Conference).

David R. Cheriton School of Computer Science, University of Waterloo

Last modified on Monday 19th of June 2017 10:25:50 AM