Martín Abadi
Martín Abadi | |
|---|---|
| Born | 1963 (age 60–61) |
| Alma mater | Stanford University, 1987 |
| Scientific career | |
| Fields | Cryptography |
| Institutions | Google University of California, Santa Cruz |
| Doctoral advisor | Zohar Manna |
Martín Abadi (born 1963)[1] is an Argentinian computer scientist, currently working at Google.[2] He earned his PhD 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.[3] In 2011, he was a temporary professor at the Collège de France in Paris,[4] teaching computer security. He was elected a member of the National Academy of Engineering in 2018.[5]
See also
Bibliography
- A Theory of Objects ISBN 0-387-94775-2
References
- ^ https://www.college-de-france.fr/site/en-martin-abadi/index.htm
- ^ https://research.google/people/abadi/
- ^ "Martin Abadi". Association for Computing Machinery. Retrieved 15 May 2011.
- ^ 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
- ^ "National Academy of Engineering Elects 83 Members and 16 Foreign Members". NAE Website. Retrieved 9 February 2018.
External links
- 1963 births
- Living people
- American computer scientists
- Computer security academics
- Stanford University School of Engineering alumni
- University of California, Santa Cruz faculty
- Fellows of the Association for Computing Machinery
- Google people
- Members of the United States National Academy of Engineering
- Argentine expatriates in the United States