Martín Abadi
Martín Abadi is a computer scientist from Argentina who currently works in Google. In 1987, he received his doctorate from Stanford University as a Zohar Manna student.
His paper on the Burrows-Abadi-Needham authentication analysis logic and his book A Theory of Objects provide formal calculations for the semantics of object-oriented programming languages, as well as his work on computer safety and programming languages.
He is a 2008 Fellow of the Computer Machinery Association. In 2011, he was a temporary professor in computer security at the Collège de France in Paris. In 2018, he was elected to the National Academy of Engineering.