Sneha Girap (Editor)

Martín Abadi

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Name
  
Martin Abadi


Martín Abadi httpswwwsoeucscedupeopleabadiphoto1

CCS 2016 - Deep Learning with Differential Privacy


Martín Abadi (born 1963) is an Argentinian computer scientist, currently working at Google. He earned his Ph.D. from Stanford University in 1987 as a student of Zohar Manna.

Martín Abadi LampsonFest Ron Rivest Martin Abadi Cynthia Dwork Microsoft

He is well known for his work on computer security and on programming languages, including his paper (with Michael Burrows and Roger Needham) on the Burrows-Abadi-Needham logic for analyzing authentication protocols, and his book (with Luca Cardelli) A Theory of Objects, laying out formal calculi for the semantics of object-oriented programming languages.

Martín Abadi 2011 Chair of Information Technology and Digital Sciences at the

He is a 2008 Fellow of the Association for Computing Machinery. In 2011, he was a temporary professor at the Collège de France in Paris, teaching computer security.

Martín Abadi How to Prove Cryptographic Protocol Security Informatics and
Martín Abadi Cryptographie Chaire d39Informatique et sciences numriques 2010

References

Martín Abadi Wikipedia
(Text) CC BY-SA