Coming to campus? Visit this page for important information.

Dr. Curtis Bright

Assistant Professor
519-253-3000 ext. 2993
Office: L.T. 5110


PhD., Computer Science, University of Waterloo (2017)
MMath, Computational Mathematics, University of Waterloo (2004)

Research Interests:

  • Automating mathematics, especially verification and counterexample generation of conjectures
  • Computer-assisted proofs
  • Automated reasoning search algorithms
  • Satisfiability checking
  • Symbolic computation
  • Discrete mathematics
  • Experimental mathematics


Dr. Curtis Bright