Nancy Day
Professor
Cheriton School of Computer Science
University of Waterloo
Canada
Biography
Dr. Nancy Day is a professor in the Cheriton School of Computer Science, University of Waterloo, University Avenue West, Waterloo, ON, Canada.
Research Interest
Professor Day's research is in developing techniques and methodologies to ensure correct system behaviour for software and hardware systems. Her focus is on the use of formal methods, which often uncover subtle bugs that are very difficult to discover using conventional techniques. For example, in the analysis of a separation minima used by air traffic controllers over the North Atlantic Region, Professor Day and her colleagues uncovered three inconsistencies in the specification. Formal methods involve the analysis of mathematically precise descriptions of how systems behave. Formal methods have an advantage over techniques based on testing or simulation in that they examine all possible behaviours of the system.
Publications
-
Amirhossein Vakili and Nancy A. Day, Reducing CTL-live Model Checking to First-Order Logic Validity Checking. To appear in Proceedings of Formal Methods in Computer-Aided Design (FMCAD), 2014.
-
Amirhossein Vakili and Nancy A. Day, Verifying CTL-live Properties of Infinite State Models using an SMT solver. To appear in Proceedings of ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), 2014.
