The work of Gregory Halpern