![]() |
Nancy DayAssociate ProfessorDavid R. Cheriton School of Computer ScienceUniversity of Waterloo |
I study how to model and analyze software-intensive systems to improve their quality and safety. As the complexity and utility of software continues to increase, industry needs ways of ensuring the correctness of their products. I use a range of formal analysis tools: model checkers, finite model finders, SMT and SAT solvers, and theorem provers. Areas of research: software engineering, model-driven engineering (MDE), modelling and analysis, formal methods, system safety, requirements specification and analysis. Research Group: Waterloo Formal Methods (WatForm). 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). If you are a prospective graduate or undergraduate student interested in working with me, please follow this link for details. I am also 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 am committed to following best practices for equity, diversity, and inclusion in my teaching, research, and administrative responsibilities. Latest News:
|
David R. Cheriton School of Computer Science, University of Waterloo
Last modified on Tuesday 29th of August 2023 05:49:56 PM