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: