Martín Abadi
Martín Abadi is an Argentinian computer scientist, currently working at Google. 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 on the Burrows-Abadi-Needham logic for analyzing authentication protocols, and his book A Theory of Objects, laying out formal calculi for the semantics of object-oriented programming languages.
He is a 2008 Fellow of the Association for Computing Machinery. In 2011, he was a temporary professor at the Collège de France in Paris, teaching computer security. He was elected a member of the National Academy of Engineering in 2018.
