His interests include interval methods for initial-value problems (IVPs) in ordinary differential equations (ODEs), numerical methods for high-index differential-algebraic equations, automatic differentiation, mathematical software, and parallel graph coloring algorithms. He is the author of the C++ package VNODE for computing bounds on solutions in IVP ODEs and of its successor VNODE-LP. He holds a Ph.D. degree in Computer Science from the University of Toronto.