Martín Abadi
Template:Short description Template:Use dmy dates Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters".
Martín Abadi (born 1963)[1] is an Argentine computer scientist, working at Google since 2024[update]Template:Dated maintenance category (articles)Script error: No such module "Check for unknown parameters"..[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, on programming languages, and machine learning. In security, Abadi developed (with Michael Burrows and Roger Needham) the Burrows–Abadi–Needham logic for analyzing authentication protocols, and with Needham received the IEEE S&P Test of Time award for his work Prudent engineering practice for cryptographic protocols.[3]
In programming language research, he published a book (with Luca Cardelli) A Theory of Objects, laying out formal calculi for the semantics of object-oriented programming languages.[4] Additionally, 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.[5] He has contributed to the development of differentially private stochastic gradient descent.[1]
He is a 2008 Fellow of the Association for Computing Machinery.[6] In 2011, he was a temporary professor at the Collège de France in Paris,[7] teaching computer security. He was elected a member of the National Academy of Engineering in 2018[8] 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.[9]
References
<templatestyles src="Reflist/styles.css" />
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ 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,
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
Script error: No such module "Check for unknown parameters".
External links
- Script error: No such module "Official website".Script error: No such module "Check for unknown parameters"., UCSC
- Pages with script errors
- 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
- Argentine people of Syrian-Jewish descent
- Argentine computer scientists