 His work with David A. Cox led to an algorithm for determining if a given set of sections provides a basis (up to torsion) for the Mordell–Weil group of an elliptic surface formula_1, where formula_2 is isomorphic to the projective line.He was part of the mathematics faculty at the Johns Hopkins University.In 2012 he became a fellow of the American Mathematical Society.