Martín Abadi
IRL Name:
Martín Abadi
Biography:
Martín Abadi is a computer scientist, currently working at the University of California, Santa Cruz. He earned his Ph.D. from Stanford University in 1987 as a student of Zohar Manna.
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.