stringtranslate.com

Martín Abadi

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 .

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]

Referencias

  1. ^ "Biografía: Informática y Ciencias Computacionales: Martin Abadi". Collège de France . 2010–2011 . Consultado el 5 de marzo de 2021 .
  2. ^ "Personas: Martín Abadi". Búsqueda de Google . Consultado el 28 de febrero de 2024 .
  3. ^ "Simposio IEEE sobre seguridad y privacidad 2019". www.ieee-security.org . Consultado el 28 de febrero de 2024 .
  4. ^ Abadi, Martin; Cardelli, Luca (9 de agosto de 1996). Una teoría de los objetos (edición corregida). Springer. ISBN 978-0387947754.
  5. ^ Abadi, Martín; Barham, Pablo; Chen, Jianmin; Chen, Zhifeng; Davis, Andy; Decano, Jeffrey; Devin, Matthieu; Ghemawat, Sanjay; Irving, Geoffrey; Isard, Michael; Kudlur, Manjunath; Levenberg, Josh; Monga, Rajat; Moore, Jerez; Murray, Derek G. (2016). TensorFlow: un sistema para el aprendizaje automático a gran escala. Asociación USENIX. págs. 265–283. ISBN 978-1-931971-33-1.
  6. ^ "Martin Abadi". Premios ACM . Association for Computing Machinery. 2008. Consultado el 5 de marzo de 2021 .
  7. ^ Decreto del Presidente de la República Francesa, de 7 de septiembre de 2010, por el que se nombra a Abadi, profesor de la Universidad de California en Santa Cruz, profesor temporal a tiempo completo para el año académico 2010-2011,
  8. ^ "La Academia Nacional de Ingeniería elige a 83 miembros y 16 miembros extranjeros". Academia Nacional de Ingeniería (NAE) . Consultado el 9 de febrero de 2018 .
  9. ^ "Carlos Abadi". Philanthropy World . 3 de mayo de 2010. Archivado desde el original el 24 de febrero de 2021. Consultado el 24 de febrero de 2021 .

Enlaces externos