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 Monday 19th of June 2017 10:25:57 AM