Associate ProfessorDavid 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.
David R. Cheriton School of Computer Science, University of Waterloo
Last modified on Tuesday 24th of January 2017 10:49:58 AM