Martín Abadi

Martín Abadi (born 1963)[1] is an Argentinian computer scientist, currently working at Google[2]. He earned his Ph.D. from Stanford University in 1987 as a student of Zohar Manna.

Martín Abadi
Born1963 (age 56–57)
Argentina
Alma materStanford University, 1987
Scientific career
FieldsCryptography
InstitutionsGoogle
University of California, Santa Cruz
Doctoral advisorZohar 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
  • Baby modula-3

Bibliography
  • A Theory of Objects ISBN 0-387-94775-2

References
  1. https://www.college-de-france.fr/site/en-martin-abadi/index.htm
  2. https://research.google/people/abadi/
  3. "Martin Abadi". Association for Computing Machinery. Retrieved 15 May 2011.
  4. 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
  5. "National Academy of Engineering Elects 83 Members and 16 Foreign Members". NAE Website. Retrieved 9 February 2018.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.