Curtis Bright
Scholar

Curtis Bright

Google Scholar ID: ExHxuYUAAAAJ
Associate Professor, Teaching, University of Waterloo
Computer-assisted ProofsSymbolic ComputationSatisfiability SolvingDiscrete Mathematics
Citations & Impact
All-time
Citations
380
 
H-index
12
 
i10-index
15
 
Publications
20
 
Co-authors
18
list available
Resume (English only)
Academic Achievements
  • Supervised student publications at top venues including IJCAI, ISSAC, CIAA, SC-Square, Mathematics of Computation, ICTAI, and AAAI.
  • Invited speaker at CanaDAM, Dagstuhl seminars, and other international conferences.
  • Organized minisymposia on computer-assisted mathematics.
  • Awarded 170 CPU years and 20 TB of storage from DRAC in 2023 for Kochen–Specker systems research.
  • Students have received awards such as the best presentation award in Computational Mathematics.