Martin Abadi

Martín Abadi (born in 1963) is an Argentine computer scientist, currently working at the University of California, Santa Cruz and Google.

He received his Doctorate from Stanford University in 1987 as a student of Zohar Manna. He is well known for his work in computer security and programming language, including his work with Michael Burrows and Roger Needham on Burrows-Abadi-Needham logic where they analyze authentication protocols, and his book with Luca Cardelli A Theory of Objects, where they present formal calculations for the semantics of object-oriented programming languages.

En 2008 Abadi fue Fellow de la Association for Computing Machinery.​

In 2011, fue profesor temporario at the Collège de France in Paris,

On September 7, 2010, they named Mr. Martin Abadi, a professor at the Collège de France, as a full-time temporary professor in the academic year 2010-2011 teaching computer security. Bibliography

wiki