He is well known for his work on computer security and on programming languages, including his paper (with Michael Burrows and Roger Needham) on the Burrows-Abadi-Needham logic for analyzing authentication protocols, and his book (with Luca Cardelli) A Theory of Objects, laying out formal calculi for the semantics of object-oriented programming languages.
Upon leaving Cambridge, he worked at the Systems Research Center (SRC) at Digital Equipment Corporation (DEC) where, with Louis Monier, he was one of the two main creators of AltaVista.
Michael Jackson | Order of St Michael and St George | Michael Bloomberg | Michael Jordan | Michael Caine | Michael | Michael Palin | Michael Moore | George Michael | Michael Dukakis | Michael W. Smith | Michael Douglas | Michael Bolton | Michael Schumacher | Michael J. Fox | Michael Bublé | Michael Faraday | Michael Moorcock | Michael Kors | Michael Brecker | Michael Bay | Michael Nyman | Michael Phelps | Michael Ondaatje | John Michael Montgomery | St. Michael | Michael Landon | Saint Michael, Barbados | Michael Somare | Live! with Kelly and Michael |
The protocol was first described under the name "The Wide-mouthed-frog Protocol" in the paper "A Logic of Authentication" (1990), which introduced Burrows–Abadi–Needham logic, and in which it was an "unpublished protocol ... proposed by" coauthor Michael Burrows.