Curtis Bright

Welcome! This is the website of Curtis Bright, a mathematician and computer scientist from the University of Waterloo and currently a visiting postdoctoral fellow of Carleton University.


I am the lead developer of the MathCheck project for verifying and finding counterexamples of mathematical conjectures. See my academic webpage for a list of my publications and public talks and my curriculum vitae for a summary of my academic career.


A lifelong lover of mathematics, I have a well-versed background in the subject. I'm the kind of guy who thinks that putting an unabbreviated copy of the quartic formula on a poster is a really awesome idea—especially when you understand the mathematics behind the formula. I have an Erdős number of 2 and my writings have been referenced by giants such as Noam Elkies and Ian Stewart.


At the University of Waterloo I've been an instructor of three first-year computer science courses where I was responsible for assignment and exam preparation. I also designed and presented many tutorials with a focus on data structures, algorithms, and logic. I received a TA award for outstanding performance as a teaching assistant in 2013.


I enjoy the challenge of writing and explaining things clearly. I sometimes blog about ideas of interest to me but these days most of my writing effort is spent on advancing my research program.


I've had a fascination with computers and programming for as long as I can remember. I love the freedom that comes with it, whether that means automating truth table generation, writing an AI for the game of Ataxx, finding minimal prime numbers, or playing a random game of Go. In high school I developed my own version of the game Minesweeper with video recording capabilities; it is still in use by people who play competitively.


Because I have such a dominant ‘left-brain’ personality, I have deliberately made a point to engage in counter-balancing activities. In early 2013 I started dancing salsa and it has since become my primary hobby. I have taught salsa for three university clubs, danced in Romania, Germany, England, Hawaii, and New York, and performed in Montreal, Toronto, and Ottawa.


If you feel like discussing one these topics in more depth, give me a shout!