I am currently an assistant professor at the University of Windsor. I have been the lead developer of the MathCheck project (hosted at the University of Waterloo) since 2016.
My research focuses on computer-assisted proofs, symbolic computation, automated reasoning, discrete mathematics, and searching very large domains for combinatorial objects—to either find examples of such objects or prove they do not exist.
