Biography:Martín Abadi
Martín Abadi | |
|---|---|
| Born | |
| Education | PhD, Stanford University, 1987 |
| Known for | Burrows–Abadi–Needham logic Baby Modula-3 A Theory of Objects |
| Scientific career | |
| Fields | Computer science Cryptography |
| Institutions | Google University of California, Santa Cruz Collège de France |
| Doctoral advisor | Zohar Manna |
Martín Abadi (born 1963)[1] is an Argentina computer scientist, working at Google (As of 2021).[2] He earned his Doctor of Philosophy (PhD) in computer science 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.[3]
In 1993, he published the programming language Baby Modula-3, a safe subset or sublanguage of Modula-3, based on functional programming and set theory ideals. Abadi is a core developer for the machine learning framework Tensorflow.[4]
He is a 2008 Fellow of the Association for Computing Machinery.[5] In 2011, he was a temporary professor at the Collège de France in Paris,[6] teaching computer security. He was elected a member of the National Academy of Engineering in 2018[7] for contributions to the formal theory of computer security.
He is related to Moussa Abadi, a Syrian Jew, and a member of the French Resistance of World War II, and to investment banker and philanthropist Carlos Abadi.[8]
References
- ↑ "Biography: Informatics and Computational Sciences: Martin Abadi". 2010–2011. https://www.college-de-france.fr/site/en-martin-abadi/.
- ↑ "People: Martín Abadi". https://research.google/people/abadi/.
- ↑ Abadi, Martin; Cardelli, Luca (9 August 1996). A Theory of Objects (Corrected ed.). Springer. ISBN 978-0387947754.
- ↑ Abadi, Martin; Barham, Paul; Chen, Jianmin; Chen, Zhifeng; Davis, Andy; Dean, Jeffrey; Devin, Matthieu; Ghemawat, Sanjay et al. (2016) (in en). TensorFlow: A System for Large-Scale Machine Learning. USENIX Association. pp. 265–283. ISBN 978-1-931971-33-1. https://www.usenix.org/conference/osdi16/technical-sessions/presentation/abadi.
- ↑ "Martin Abadi". Association for Computing Machinery. 2008. https://awards.acm.org/award_winners/abadi_1389428.
- ↑ Decree of the President of the French Republic, 7 september 2010, appointing Abadi, professor at the University of California, Santa Cruz as full-time temporary professor for the 2010-2011 academic year,
- ↑ "National Academy of Engineering Elects 83 Members and 16 Foreign Members". https://www.nae.edu/178117.aspx.
- ↑ "Carlos Abadi". 3 May 2010. https://philanthropyworld.wordpress.com/bios/carlos-abadi/.
External links
- , UCSC
 |  |
