Scholar
Curtis Bright
Google Scholar ID: ExHxuYUAAAAJ
Associate Professor, Teaching, University of Waterloo
Computer-assisted Proofs
Symbolic Computation
Satisfiability Solving
Discrete Mathematics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
380
H-index
12
i10-index
15
Publications
20
Co-authors
18
list available
Contact
CV
Open ↗
GitHub
Open ↗
LinkedIn
Open ↗
Publications
8 items
Quaternionic Perfect Sequences and Hadamard Matrices
2026
Cited
0
North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability
2025
Cited
0
Orthogonal Latin Squares of Order Ten with Two Relations: A SAT Investigation
2025
Cited
0
Queen Domination by SAT Solving
2025
Cited
0
Symbolic Sets for Proving Bounds on Rado Numbers
2025
Cited
0
Myrvold's Results on Orthogonal Triples of $10 imes 10$ Latin Squares: A SAT Investigation
2025
Cited
0
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems
2025
Cited
0
New Results on Periodic Golay Pairs
arXiv.org · 2024
Cited
0
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.
Co-authors
18 total
Vijay Ganesh
Professor, Georgia Institute of Technology, Atlanta, GA, USA
Ilias S. Kotsireas, Director, CARGO lab
Wilfrid Laurier University
Zhengyu (Brian) Li
Georgia Institute of Technology
Krzysztof Czarnecki
Professor of Electrical and Computer Engineering
Co-author 5
Co-author 6
Jeffrey Shallit
Professor Emeritus of Computer Science, University of Waterloo
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up