Nancy Day Associate Professor David R. Cheriton School of Computer Science University of Waterloo 200 University Avenue West Waterloo, Ontario, Canada, N2L 3G1

Email: nday AT cs DOT uwaterloo DOT ca Phone: (519) 888-4567 ext. x35321 Fax: (519) 885-1208 Office: Davis Centre Rm 2335

Last updated: 9 June 2008

Areas of research: software engineering, formal methods, system safety, requirements specification and analysis, and hardware verification. I study the use of formal methods 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.

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

Brief Biography: I arrived at Waterloo in January, 2001. Previously, I was a Postdoctoral Research Associate with PacSoft (Pacific Software Research Centre) in the Department of Computer Science and Engineering at the Oregon Graduate Institute, working on the Hawk project. I completed my PhD in the Department of Computer Science at the University of British Columbia in October 1998. The title of my dissertation is "A Framework for Multi-Notation, Model-Oriented Requirements Analysis". My supervisor was Jeff Joyce. I was a member of the FormalWare project. My undergraduate degree is from the Department of Computer Science at the University of Western Ontario, where I spent much of my time running with the cross-country and track and field teams.

Publications

Teaching

Students

WatForm