Martín Abadi (nacido en 1963) [1] es un informático argentino , trabajando en Google desde 2024 . [2] Obtuvo su Doctorado en Filosofía (PhD) en informática de la Universidad de Stanford en 1987 como estudiante de Zohar Manna .[actualizar]
Es muy conocido por su trabajo en seguridad informática , lenguajes de programación y aprendizaje automático . En seguridad, Abadi desarrolló (con Michael Burrows y Roger Needham ) la lógica Burrows-Abadi-Needham para analizar protocolos de autenticación, y con Needham recibió el premio IEEE S&P Test of Time por su trabajo Práctica de ingeniería prudente para protocolos criptográficos. [3]
En la investigación de lenguajes de programación, publicó un libro (con Luca Cardelli ) Una teoría de los objetos , que presenta cálculos formales para la semántica de los lenguajes de programación orientados a objetos . [4] Además, en 1993, publicó el lenguaje de programación Baby Modula-3 , un subconjunto o sublenguaje seguro de Modula-3 , basado en la programación funcional y los ideales de la teoría de conjuntos .
Abadi es un desarrollador principal del marco de aprendizaje automático Tensorflow . [5] Ha contribuido al desarrollo del descenso de gradiente estocástico diferencialmente privado.[1]
Es miembro de la Association for Computing Machinery en 2008 . [6] En 2011, fue profesor temporal en el Collège de France de París , [7] enseñando seguridad informática . Fue elegido miembro de la Academia Nacional de Ingeniería en 2018 [8] por sus contribuciones a la teoría formal de la seguridad informática.
Está relacionado con Moussa Abadi , judío sirio y miembro de la Resistencia francesa de la Segunda Guerra Mundial , y con el banquero de inversiones y filántropo Carlos Abadi. [9]