Click on a photo to see a larger version.
From left to right: David Greaves (Cambridge), Peter Sewell (Cambridge), Robin Milner (behind Peter; Cambridge), [obscured], Paul Jackson (Edinburgh), Konrad Slind (behind Paul, leaning head; Utah, now Collins Aerospace), Susmit Sarkar (Cambridge), John Harrison (Intel, now AWS), Sandrine Blazy (INRIA), Sava Krstic (Intel), Larry Paulson (Cambridge), Behzad Akbarpour (Concordia, now Nvidia), Matthew Parkinson (Cambridge), [unknown], Xavier Leroy (INRIA), Scott Owens (Utah, now Facebook), Laurent Thery (at back; INRIA), Samin Ishtiaq (at front; ARM, now Riverlane), Daryl Stewart (Cambridge, now ARM), Graham Birtwistle (behind Daryl; University of Leeds), Mike Gordon (Cambridge), [obscured], Grant Olney Passmore (Cambridge), Nathan Chong (now AWS), Paul Curzon (at back; Middlesex, now Queen Mary, U. London), Alexey Gotsman (Cambridge), Thomas Tuerk (Cambridge), Ken Friis Larsen (University of Copenhagen), Kong Wei Susanto, Julien Schmaltz, Joe Leslie-Hurd (Galois, now Intel), Michael Norrish (NICTA, now ANU), Rob Arthan (Proofpower), Christian Urban (TUM, now King’s College, London), Hanne Gottliebsen, [unknown] (behind Hanne), Anthony Fox (Cambridge), Tony Hoare, [unknown] (behind Tony), [unknown], Tom Melham (Oxford), Shiu-Kai Chin (in front of Tom), Brian Graham (at back), Richard Boulton
