C
Curtis Bright
Associate Professor, Teaching Stream
GradNova doesn't forward messages to faculty. To contact Curtis Bright, use the University of Waterloo website.
Research Interests
Computer-Assisted Proofs
Discrete Mathematics
Experimental Mathematics
Number Theory
Satisfiability Solving
Symbolic Computation
Graph Theory and CDMA Systems
Semigroups and Automata Theory
Logic, Programming, and Type Systems
Formal Methods in Verification
Constraint Satisfaction and Optimization
Academic Metrics
Links
Grants
Researching advisors with ChatGPT or Claude? Use GradNova in ChatGPT or Claude · Early access →
Considering this professor? Add them to your shortlist and get 2 professors checked by a person, free →