Martín Abadi

Martín Abadi (born 1963)^[1] is an argentinian computer scientist, currently working at the University of California, Santa Cruz and Microsoft Research. 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.

He is a 2008 Fellow of the Association for Computing Machinery.^[2] In 2011, he was a temporary professor at the Collège de France in Paris,^[3] teaching computer security.

See also

• Baby modula-3

Bibliography

• A Theory of Objects ISBN 0387947752

References

1. ^ http://www.college-de-france.fr/default/EN/all/abadi_en/biography.htm
2. ^ "Martin Abadi". Association for Computing Machinery. http://fellows.acm.org/fellow_citation.cfm?id=1389428&srt=all. Retrieved 15 May 2011. 
3. ^ Decree of the President of the French Republic, 7 september 2010, appointing Mr Martin Abadi, professor at the University of California, as full-time temporary professor for the 2010-2011 academic year

External links

• Abadi's web pages at UCSC
• Abadi's web page at Microsoft Research

Persondata
Name	Abadi, Martin
Alternative names
Short description
Date of birth	1963
Place of birth
Date of death
Place of death