Martín Abadi (born 1963)[1] is an Argentine computer scientist, working at Google as of 2024[update].
[2] He earned his Doctor of Philosophy (PhD) in computer science from Stanford University in 1987 as a student of Zohar Manna.
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.
[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.