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, include "formal methods" in the list of topics of interest to you, and list me as a "Requested Supervisor" so that your application will be brought to my attention. I am always looking for talented students!

I work with each graduate student to choose a topic for their thesis. Using my contacts in industry, I work with each graduate student to find possibilities for a four month internship in Canada or the US to gain some industrial experience if this is of interest to the student. I look for summer school possibilities in the US or Europe where interesting topics in formal methods are covered. In addition, my goal is to help each graduate student to publish their research in conferences and I support them to attend and present at the conference.

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.

Current Graduate Students

  • Amin Bandali (MMath)
  • Khadija Tariq (MMath)

Past Graduate Students and Post-Docs

  • Jose Serna (MMath, 2018)
  • Ali Abbassi (MMath, 2018)
  • Opeyemi Adesina (Postdoctoral Fellow, 2017-2018)
  • Sabria Farheen (MMath, 2018)
  • Amirhossein Vakili (Postdoctoral Fellow, 2016)
  • Amirhossein Vakili (PhD, 2016)
  • Alma Juarez Dominguez (Postdoctoral Fellow, 2012-2013)
  • Alma Juarez Dominguez (PhD, 2012)
  • Shahram Esmaeilsabzali (PhD, 2011)
  • Alma Juarez Dominguez (MMath, 2005)
  • Jianwei Niu (PhD, 2005) (co-supervisor: Jo Atlee)
  • Yun Lu (MMath, 2004)
  • Jennifer Campbell (MMath, 2003)
I have also worked with a number of undergraduate students on research projects.

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

Last modified on Wednesday 22nd of May 2019 09:08:44 PM