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'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!