Steve ist Ehrenforschungsstipendiat an der University of Warwick und Ehrenmitglied von PragMatika, wo er weiterhin mit Elías und dem Rest des Teams zusammenarbeitet.
Er promovierte in Geschichte der Mathematik an der Open University mit einer Dissertation mit dem Titel The Mathematical Works of Bernard Bolzano published between 1804 and 1817 veröffentlicht wurden, und arbeitete später mit Meurig Beynon in Warwick an der Entwicklung von „Empirical Modelling“, einem neuartigen Zugang zur Informatik, der die Geisteswissenschaften fast ebenso stark einbezieht wie die technische Informatik. Von 1995 bis 1997 war er Präsident der Britischen Gesellschaft für die Geschichte der Mathematik und hat mehrere Werke veröffentlicht, darunter das bedeutende The Mathematical Works of Bernard Bolzano (Oxford University Press, 2004) und Bernard Bolzano, Mathematische Schriften 1804–1810 (Frommann-Holzboog, 2019), das er gemeinsam mit Edgar Morscher herausgegeben hat.
