Martín Abadi

Martín Abadi
Born	1963 Argentina
Alma mater	Stanford University
Occupation	Computer scientist
Employer	Google
Known for	Burrows–Abadi–Needham logic, A Theory of Objects, TensorFlow contributions
Awards	Fellow of the Association for Computing Machinery (2008), Member of the National Academy of Engineering (2018)

Martín Abadi (born 1963) is a computer scientist from Argentina currently employed at Google. He completed his Doctor of Philosophy (PhD) in computer science at Stanford University in 1987, under the supervision of Zohar Manna.

Abadi has made significant contributions in the fields of computer security, programming languages, and machine learning. Alongside Michael Burrows and Roger Needham, he co-created the Burrows–Abadi–Needham logic, a framework for analyzing authentication protocols, which earned the IEEE S&P Test of Time award for the work titled Prudent engineering practice for cryptographic protocols.

In the domain of programming languages, Abadi co-wrote A Theory of Objects with Luca Cardelli, which provides a formal semantic foundation for object-oriented programming languages. In 1993, he developed Baby Modula-3, a secure subset of Modula-3 inspired by principles from functional programming and set theory.

As a principal contributor to the machine learning platform TensorFlow, Abadi played a key role in implementing differentially private stochastic gradient descent techniques.

He was honored as a Fellow of the Association for Computing Machinery in 2008 and held a visiting professorship at the Collège de France in 2011, where he lectured on computer security. In recognition of his advancements in formal computer security theory, he was inducted into the National Academy of Engineering in 2018.

Abadi is related to Moussa Abadi, notable for his involvement in the French Resistance during World War II, as well as to investment banker Carlos Abadi.

External links

• , UCSC