Martín Abadi
| Martín Abadi | ||
|---|---|---|
| Información personal | ||
| Nacimiento |
1963 Argentina | |
| Nacionalidad | Argentina y estadounidense | |
| Educación | ||
| Educado en | Universidad Stanford (Ph.D.; hasta 1987) | |
| Supervisor doctoral | Zohar Manna | |
| Información profesional | ||
| Ocupación | Informático teórico, seguridad informática y criptógrafo | |
| Empleador | ||
| Miembro de | Association for Computing Machinery (desde 2009) | |
| Sitio web | www.soe.ucsc.edu/~abadi/home.html | |
| Distinciones |
| |
Martín Abadi (n. 1963)[1] es un científico en computación argentino, que trabaja actualmente en la Universidad de California, Santa Cruz y Google.
Obtuvo su Doctorado en la Universidad de Stanford 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,[3]
El 7 de septiembre de 2010, nombran al Sr Martín Abadi, profesor en la Collège de France, como profesor tiempo completo temporario en el año académico 2010-2011 enseñando seguridad computacional.[4]
Bibliografía
[editar]- A Theory of Objects ISBN 0-387-94775-2
Referencias
[editar]- ↑ «Copia archivada». Archivado desde el original el 31 de julio de 2012. Consultado el 14 de octubre de 2011.
- ↑ «Martín Abadi». Association for Computing Machinery. Consultado el 15 de mayo de 2011.
- ↑ Decree of the President of the French Republic.
- ↑ «Biography». www.college-de-france.fr (en inglés). Consultado el 1 de septiembre de 2021.
Enlaces externos
[editar]| Control de autoridades |
|
|---|
Datos: Q6777754