University of California, Santa Cruz
|Alma mater||Stanford University, 1987|
|Doctoral advisor||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.
- A Theory of Objects ISBN 0-387-94775-2
- "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