I am an assistant professor at the University of Windsor and hold an adjunct affiliation with the University of À¶Ý®ÊÓƵ as the lead of the MathCheck project. I can co-supervise graduate students in and Computational Mathematics. If you are interested in working with me, the MathCheck group at the University of À¶Ý®ÊÓƵ and the Algorithms & Mathematics group at the University of Windsor are accepting applications for .
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.
