Martín Abadi
Martín Abadi | |
---|---|
Born | 1963 (age 60–61) |
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 anArgentinecomputer scientist,working atGoogleas of 2024[update].[2]He earned hisDoctor of Philosophy(PhD) incomputer sciencefromStanford Universityin 1987 as a student ofZohar Manna.
He is well known for his work oncomputer security,onprogramming languages,andmachine learning.In security, Abadi developed (withMichael BurrowsandRoger Needham) theBurrows–Abadi–Needham logicfor analyzing authentication protocols, and with Needham received the IEEE S&P Test of Time award for his workPrudent engineering practice for cryptographic protocols.[3]
In programming language research, he published a book (withLuca Cardelli)A Theory of Objects,laying out formal calculi for the semantics ofobject-oriented programminglanguages.[4]Additionally, In 1993, he published the programming languageBaby Modula-3,a safe subset orsublanguageofModula-3,based onfunctional programmingand set theoryideals.
Abadi is a core developer for themachine learningframeworkTensorflow.[5]He has contributed to the development of differentially private stochastic gradient descent.[1]
He is a 2008Fellow of the Association for Computing Machinery.[6]In 2011, he was a temporary professor at theCollège de FranceinParis,[7]teachingcomputer security.He was elected a member of theNational Academy of Engineeringin 2018[8]for contributions to the formal theory of computer security.
He is related toMoussa Abadi,aSyrian Jew,and a member of theFrench ResistanceofWorld War II,and to investment banker and philanthropist Carlos Abadi.[9]
References
[edit]- ^"Biography: Informatics and Computational Sciences: Martin Abadi".Collège de France.2010–2011.Retrieved5 March2021.
- ^"People: Martín Abadi".Google Research.Retrieved28 February2024.
- ^"IEEE Symposium on Security and Privacy 2019".ieee-security.org.Retrieved28 February2024.
- ^Abadi, Martin;Cardelli, Luca(9 August 1996).A Theory of Objects(Corrected ed.). Springer.ISBN978-0387947754.
- ^Abadi, Martin; Barham, Paul; Chen, Jianmin; Chen, Zhifeng; Davis, Andy; Dean, Jeffrey; Devin, Matthieu; Ghemawat, Sanjay; Irving, Geoffrey; Isard, Michael; Kudlur, Manjunath; Levenberg, Josh; Monga, Rajat; Moore, Sherry; Murray, Derek G. (2016).TensorFlow: A System for Large-Scale Machine Learning.USENIX Association. pp. 265–283.ISBN978-1-931971-33-1.
- ^"Martin Abadi".ACM Awards.Association for Computing Machinery. 2008.Retrieved5 March2021.
- ^Decree of the President of the French Republic,7 september 2010, appointing Abadi, professor at theUniversity of California, Santa Cruzas full-time temporary professor for the 2010-2011 academic year,
- ^"National Academy of Engineering Elects 83 Members and 16 Foreign Members".National Academy of Engineering (NAE).Retrieved9 February2018.
- ^"Carlos Abadi".Philanthropy World.3 May 2010. Archived fromthe originalon 24 February 2021.Retrieved24 February2021.
External links
[edit]- Official website,UCSC
- 1963 births
- Living people
- American computer scientists
- Computer security academics
- Stanford University School of Engineering alumni
- University of California, Santa Cruz faculty
- 2008 Fellows of the Association for Computing Machinery
- Google people
- Members of the United States National Academy of Engineering
- Argentine expatriates in the United States
- 21st-century Mizrahi Jews
- Syrian Jews
- Argentine people of Syrian-Jewish descent