I am an associate professor in the teaching stream at the University of Waterloo and a lead of the MathCheck project. I can co-supervise graduate students in Computer Science and Computational Mathematics. If you are interested in working with me, the MathCheck group at the University of Waterloo is accepting applications for open research positions.
My research focuses on computer-assisted proofs, satisfiability solving, symbolic computation, discrete mathematics, experimental mathematics, number theory, and searching very large domains for combinatorial objects—to either find examples of such objects or prove they do not exist.
