Nancy Day

Associate Professor

David R. Cheriton School of Computer Science
University of Waterloo

I work with students and colleagues on modelling and formal analysis of computer-based systems.

Prospective graduate students: If you are interested in working on these research topics, please apply to our School of Computer Science and include "formal methods" in the list of topics of interest to you. I am always looking for talented students!

Undergraduate students at UW: if you are interested in doing formal methods research as an undergraduate research assistant ( URA, part-time while taking courses) or as a co-op student through the NSERC undergraduate student research award program, please contact me.

Helpful Links

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

Last modified on Wednesday 17th of January 2018 09:45:17 AM