I am an assistant professor at the University of Windsor and hold an adjunct affiliation with the University of Waterloo as the 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 and the Algorithms & Mathematics group at the University of Windsor are 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.
