Usuario:Sandra menoyo/Taller
Martín Abadi (nació en 1963)[1] es un científico en computación argentino , que trabaja actualmente en la Universidad de California, Santa Cruz.University of California, Santa Cruz y Google. Obtuvo su Doctorado en la Universidad de Stanford Stanford University en 1987 como estudiante de Zohar Manna. Es muy reconocido por su trabajo en seguridad computacional y en lenguaje de programación, incluyendo su trabajo con Michael Burrows y Roger Needham sobre Burrows-Abadi-Needham logic donde analizan protocolos de autenticación, y su libro con Luca Cardelli A Theory of Objects, donde presentan cálculos formales para la semántica de los lenguajes de programación orientados a los objetos.
En 2008 Abadi fue Fellow de la Association for Computing Machinery.[2]
En 2011, fue profesor temporario en el Collège de France en Paris,<ref>Decree of the President of the French Republic. El 7 de september de 2010, nombran al Sr Martin Abadi, profesor en la University of California, como profesor tiempo completo temporario en el año académico 2010-2011 enseñando seguridad computacional.
See also[editar]
Bibliography[editar]
- A Theory of Objects ISBN 0-387-94775-2
References[editar]
- ↑ http://www.college-de-france.fr/default/EN/all/abadi_en/biography.htm
- ↑ «Martin Abadi». Association for Computing Machinery. Consultado el 15 de mayo de 2011.
External links[editar]