Moshe Vardi
Matemático y científico informático israelí
Moshe Vardi
MAE para miembros
Nacido
Moshe Ya'akov Vardi
Hebreo : משה יעקב ורדי

1954 (edad 69-70)
Israel
Alma máter
Premios
Carrera científica
Campos
Computación lógica [2]
InstitucionesUniversidad Rice
Investigación de IBM
Universidad de Stanford
TesisEl problema de las implicaciones para las dependencias de datos en el modelo relacional  (1981)
Asesor de doctoradoCatriel Beeri [3]
Estudiantes de doctoradoKristin Yvonne Rozier
Sitio webwww.cs.rice.edu/~vardi/

Moshe Ya'akov Vardi ( hebreo : משה יעקב ורדי ) MAE ForMemRS [5] es un científico informático teórico israelí . Es profesor de Ingeniería Computacional de la cátedra Karen Ostrum George en la Universidad Rice , Estados Unidos. [6] [2] [7] y asesor de la facultad del Instituto Ken Kennedy. [8] Sus intereses se centran en las aplicaciones de la lógica a la informática, incluida la teoría de bases de datos , la teoría de modelos finitos , el conocimiento de sistemas multiagente , la verificación y el razonamiento asistidos por ordenador y la enseñanza de la lógica en todo el plan de estudios. Es un experto en comprobación de modelos , satisfacción de restricciones y teoría de bases de datos , conocimiento común (lógica) y informática teórica . [9] [10]

Vardi ha sido autor o coautor de más de 700 artículos técnicos [2] y ha editado varias colecciones. Es autor de los libros Reasoning About Knowledge [11] con Ronald Fagin , Joseph Halpern y Yoram Moses , y Finite Model Theory and Its Applications [12] con Erich Grädel, Phokion G. Kolaitis , Leonid Libkin , Maarten Marx, Joel Spencer , Yde Venema y Scott Weinstein. Es editor senior de Communications of the ACM , después de desempeñarse como su editor en jefe durante una década. [13]

Educación

Vardi era un estudiante de pregrado en la Universidad Bar-Ilan y recibió su título de Maestría en Ciencias del Instituto Weizmann de Ciencias . [4] Su doctorado fue supervisado por Catriel Beeri y otorgado por la Universidad Hebrea de Jerusalén en 1981. [3]

Carrera e investigación

Los intereses de investigación de Vardi son la lógica y la computación . [2] Se desempeñó como presidente del departamento de informática en la Universidad Rice desde enero de 1994 hasta junio de 2002. Antes de unirse a Rice en 1993, trabajó en IBM Research y también fue investigador postdoctoral en la Universidad de Stanford . [5] Vardi se desempeña como editor de varias revistas internacionales [ aclaración necesaria ] y anteriormente fue director de la Federación Internacional de Lógica Computacional Ltd. [14] También ha copresidido el grupo de trabajo de la Asociación para Maquinaria Computacional (ACM) sobre migración laboral . [ ¿cuándo? ]

Premios y honores

Vardi ha recibido tres premios IBM Outstanding Innovation Awards, es coganador del premio Gödel en 2000 (por su trabajo sobre lógica temporal con autómatas finitos ), ganador del premio Knuth en 2021, coganador del premio Paris Kanellakis en 2005 y coganador del premio LICS 2006 Test-of-Time. Vardi también ha recibido el Premio Presidencial ACM 2008 y 2017, la Medalla Blaise Pascal 2008 en ciencias computacionales [15] de la Academia Europea de Ciencias, [16] el Premio al Servicio Distinguido 2010 de la Asociación de Investigación en Computación, el Premio Harry H. Goode Memorial 2011 de la Sociedad de Computación del Instituto de Ingenieros Eléctricos y Electrónicos (IEEE) , el Grupo de Interés Especial de Lógica y Computación (SIGLOG) de la ACM 2018, el Premio a los Servicios Distinguidos de la Asociación Europea de Ciencias de la Computación Teórica (EATCS), [17] la Asociación Europea de Lógica de la Computación (EACSL) y el Premio Alonzo Church patrocinado conjuntamente por la Sociedad Kurt Gödel (KGS) por Contribuciones Destacadas a la Lógica y la Computación (con Tomas Feder) .

Vardi pronuncia su discurso de aceptación de su doctorado honoris causa en Grenoble
  1. Universidad del Sarre , Alemania [5]
  2. Universidad de Orleans [5]
  3. Universidad de Grenoble Alpes (UGA) en Francia [18]
  4. Universidad Federal de Rio Grande do Sul (UFRGS) en Brasil [19]
  5. Universidad de Lieja en Bélgica [20]
  6. Universidad Técnica de Viena en Austria [ cita requerida ]
  7. Universidad de Edimburgo en Escocia [21]
  8. Universidad de Gotemburgo en Suecia [22]

Vardi es becario Guggenheim , becario ACM , becario AAAI , [23] becario de la Asociación Estadounidense para el Avance de la Ciencia y miembro extranjero de la Royal Society (ForMemRS). Fue designado investigador altamente citado por el Instituto de Información Científica y fue elegido miembro de la Academia Nacional de Ingeniería de los Estados Unidos , la Academia Nacional de Ciencias [1] [24] la Academia Europea de Ciencias y la Academia Europaea (MAE). [ 5] Fue elegido miembro de la Academia Estadounidense de las Artes y las Ciencias en 2010. [25] Fue incluido en la clase de becarios de 2019 de la Sociedad Matemática Estadounidense "por sus contribuciones al desarrollo y uso de la lógica matemática en la informática". [26]

Vida personal

Vardi vive con su esposa Pamela Geyer en Houston, Texas . [17] Su hijastro Aaron Hertzmann [27] también es científico informático en Adobe Research .

Referencias

  1. ^ ab "Moshe Y. Vardi: Ciencias de la computación y la información". nasonline.org . Academia Nacional de Ciencias .
  2. ^ abcd Publicaciones de Moshe Vardi indexadas por Google Scholar
  3. ^ por Moshe Vardi en el Proyecto de Genealogía Matemática
  4. ^ ab "Gente de ACM - Moshe Y. Vardi". acm.org .
  5. ^ abcde "Moshe Y. Vardi". ae-info.org . Academia Europaea .
  6. ^ "Moshe Y. Vardi | Facultad | La gente de Rice". profiles.rice.edu . Universidad Rice . Consultado el 16 de mayo de 2023 .
  7. ^ BOYD, JADE (22 de julio de 2011). "Moshe Vardi de Rice es nombrado profesor de servicio distinguido". Universidad Rice. Archivado desde el original el 6 de marzo de 2014. Consultado el 10 de abril de 2012. El científico informático de la Universidad Rice, Moshe Vardi, ha sido nombrado profesor de servicio distinguido, uno de los nombramientos más prestigiosos de la facultad de la universidad.
  8. ^ "People". Instituto Ken Kennedy | Universidad Rice . Consultado el 16 de mayo de 2023 .
  9. ^ Página de perfil del autor Moshe Vardi en la Biblioteca Digital ACM
  10. ^ Winslett, Marianne (2006). "Moshe Vardi habla sobre la prueba, toda la prueba y nada más que la prueba". ACM SIGMOD Record . 35 : 56–64. doi :10.1145/1121995.1122008. S2CID  27479793.
  11. ^ Vardi, Moshe Y.; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Razonamiento sobre el conocimiento . Cambridge, Massachusetts: The MIT Press. ISBN 0-262-56200-6.
  12. ^ Weinstein, Scott; Erich Gradel; Kolaitis, Phokion; Leonid Libkin; Maarten Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde (2007). Teoría de modelos finitos y sus aplicaciones . Berlín: Springer. ISBN 978-3-540-00428-8.
  13. ^ Vardi, MY (2012). "Inteligencia artificial: pasado y futuro". Comunicaciones de la ACM . 55 : 5. doi : 10.1145/2063176.2063177 .
  14. ^ "FEDERACIÓN INTERNACIONAL DE LÓGICA COMPUTACIONAL LIMITADA personas". find-and-update.company-information.service.gov.uk . Londres, Reino Unido: GOV.UK. 26 de marzo de 2019 . Consultado el 16 de mayo de 2023 .
  15. ^ "LA MEDALLA BLAISE PASCAL 2008 (sección: "Medalla Blaise Pascal en Ciencias Computacionales")". Academia Europea de Ciencias. Archivado desde el original el 4 de marzo de 2017. Consultado el 27 de abril de 2017. Profesor Moshe Y. VARDI, EE . UU. / En reconocimiento a sus destacadas contribuciones en varias áreas de la ciencia computacional conectadas por su uso de la lógica como metodología subyacente. Su trabajo ha tenido un impacto fundamental y duradero en la verificación automática, la lógica del conocimiento, la teoría de bases de datos y la teoría de modelos finitos.
  16. ^ "¿La automatización está condenando a los trabajadores?". ( Escuela de Ingeniería George R. Brown de la Universidad Rice ) . 31 de octubre de 2016. Archivado desde el original el 29 de abril de 2017. Consultado el 27 de abril de 2017. Medalla Blaise Pascal 2008 de Ciencias de la Computación otorgada por la Academia Europea de Ciencias .
  17. ^ ab Samuels, Jeanne F. (14 de marzo de 2013). "Jewish Herald-Voice". El portal de la historia de Texas . N.º 54, vol. 105. Houston, Texas: Bibliotecas de la Universidad del Norte de Texas. pág. 17. Consultado el 16 de mayo de 2023 .
  18. ^ "Vardi recibió el doctorado honoris causa por la Université Grenoble Alpes". arroz.edu .
  19. ^ "Doctor Honoris Causa al Profesor Moshe Vardi". ufrgs.br . 21 de marzo de 2016.
  20. ^ "L'ULiège honore 10 personnalités internationales et ses nouveaux diplômés docteurs (avec thèse)". Universidad de Lieja . 16 de marzo de 2017 . Consultado el 26 de agosto de 2022 .
  21. ^ "Moshe Vardi - Humanos, máquinas y trabajo: el futuro es ahora". ed.ac.uk .
  22. ^ "Moshe Y. Vardi ha sido nombrado doctor honoris causa en la Facultad de Informática". gu.se . 23 de abril de 2020.
  23. ^ " Asociación para el Avance de la Inteligencia Artificial " . aaai.org .
  24. ^ "Elecciones de la Academia Nacional de Ciencias", Mathematics People, Avisos de la American Mathematical Society , 62 (7): 826, agosto de 2015.
  25. ^ Moshe Y. Vardi de Rice elegido miembro de la Academia Estadounidense de las Artes y las Ciencias.
  26. ^ Clase 2019 de miembros de la AMS, American Mathematical Society , consultado el 7 de noviembre de 2018
  27. ^ "Aaron Hertzmann: científico principal, Adobe Research". toronto.edu .
Obtenido de "https://es.wikipedia.org/w/index.php?title=Moshe_Vardi&oldid=1253245789"