Martín Abadi (nacido en 1963) [1] es un informático argentino que trabaja en Google desde 2021 [actualizar]. [2] Obtuvo su Doctorado en Filosofía (PhD) en Ciencias de la Computación de la Universidad de Stanford en 1987 como estudiante de Zohar Manna .
Martín Abadi | |
---|---|
Nació | 1963 (57 a 58 años) |
Educación | PhD , Universidad de Stanford , 1987 |
Conocido por | La lógica de Burrows-Abadi-Needham Baby Modula-3 Una teoría de los objetos |
Carrera científica | |
Campos | Criptografía informática |
Instituciones | Universidad de Google de California, Santa Cruz Collège de France |
Asesor de doctorado | Zohar Manna |
Es bien conocido por su trabajo sobre seguridad informática y lenguajes de programación , incluido su artículo (con Michael Burrows y Roger Needham ) sobre la lógica de Burrows-Abadi-Needham para analizar los protocolos de autenticación, y su libro (con Luca Cardelli ) A Theory of Objetos , que presenta cálculos formales para la semántica de los lenguajes de programación orientados a objetos. [3]
En 1993, publicó el lenguaje de programación Baby Modula-3 , un subconjunto seguro o sublenguaje de Modula-3 , basado en la programación funcional y los ideales de la teoría de conjuntos .
Es miembro de 2008 de la Association for Computing Machinery . [4] En 2011, fue profesor temporal en el Collège de France en París , [5] enseñando seguridad informática . Fue elegido miembro de la Academia Nacional de Ingeniería en 2018 [6] por sus contribuciones a la teoría formal de la seguridad informática.
Referencias
- ^ "Biografía: informática y ciencias computacionales: Martin Abadi" . Collège de France . 2010-2011 . Consultado el 5 de marzo de 2021 .
- ^ "Gente: Martín Abadi" . Investigación de Google . Consultado el 5 de marzo de 2021 .
- ^ Abadi, Martin; Cardelli, Luca (9 de agosto de 1996). Una teoría de los objetos (edición corregida). Saltador. ISBN 978-0387947754.
- ^ "Martin Abadi" . Premios ACM . Asociación para Maquinaria de Computación. 2008 . Consultado el 5 de marzo de 2021 .
- ↑ Decreto del Presidente de la República Francesa , de 7 de septiembre de 2010, por el que se nombra al Sr. Martin Abadi, profesor de la Universidad de California , como profesor temporal a tiempo completo para el año académico 2010-2011.
- ^ "Academia Nacional de Ingeniería elige 83 miembros y 16 miembros extranjeros" . Academia Nacional de Ingeniería (NAE) . Consultado el 9 de febrero de 2018 .
enlaces externos
- Sitio web oficial , UCSC