Martin Abadi

Martin Abadi (born 1963) is an Argentine computer scientist working at Google as of 2024. He earned his PhD in computer science from Stanford University in 1987 under Zohar Manna. He is known for his work on computer security, programming languages, and machine learning: in security he developed, with Michael Burrows and Roger Needham, the Burrows-Abadi-Needham logic for analyzing authentication protocols, and received the IEEE Security and Privacy Test of Time award for his work on prudent engineering practice for cryptographic protocols. In programming language research he published A Theory of Objects with Luca Cardelli, and in 1993 published the programming language Baby Modula-3. He is a core developer of the TensorFlow machine learning framework, a 2008 ACM Fellow, and was elected a member of the National Academy of Engineering in 2018 for contributions to the formal theory of computer security.