UWindsor Together: Student Mental Health and Remote Learning Services

Dr. Curtis Bright

Assistant Professor
519-253-3000 ext. 2993
cbright@uwindsor.ca
Office: L.T. 5110

Education:

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

Website: 

Dr. Curtis Bright