Martín Abadi (nacido en 1963) [1] es un científico informático argentino , que trabaja en Google a partir de 2024. [ 2] Obtuvo su Doctorado en Filosofía (PhD) en ciencias de la computación en 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 junto con Needham recibió el premio IEEE S&P Test of Time por su trabajo Prudent engineering practice for cryptographic protocols. [3]
En investigación sobre lenguajes de programación, publicó un libro (con Luca Cardelli ) A Theory of Objects , que establece 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 desde 2008. [6] En 2011, fue profesor temporal en el Collège de France en 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 , un 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]