Moshe Ya'akov Vardi ( hebreo : משה יעקב ורדי ) MAE ForMemRS [5] es un matemático e informático israelí. Es Profesor de Servicio Distinguido Karen Ostrum George en Ingeniería Computacional en la Universidad Rice , Estados Unidos. [6] [2] [7] y asesor docente 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 computadora y la enseñanza de la lógica en todo el plan de estudios. Es experto en verificación de modelos , satisfacción de restricciones y teoría de bases de datos , conocimiento común (lógica) e informática teórica . [9] [10]
Vardi es autor o coautor de más de 700 artículos técnicos [2] , además de editar 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 Comunicaciones de la ACM , después de haber sido su editor jefe durante una década. [13]
Vardi era un estudiante universitario en la Universidad Bar-Ilan y recibió su 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]
Los intereses de investigación de Vardi están en la lógica y la computación . [2] Se desempeñó como presidente del departamento de informática de 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 [ se necesita aclaración ] 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 de Maquinaria de Computación (ACM) sobre migración laboral . [ ¿ cuando? ]
Vardi ha recibido tres premios IBM Outstanding Innovation Awards, coganador del Premio Gödel 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. También recibió 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 Computing Research Association, el Institute of Electrical y el Premio en Memoria de Harry H. Goode 2011 de la Sociedad de Computación de Ingenieros Electrónicos (IEEE) , el Grupo de Interés Especial en Lógica y Computación (SIGLOG) de ACM de 2018, el Premio a Servicios Distinguidos de la Asociación Europea de Ciencias de la Computación Teórica (EATCS), [17] el La Asociación Europea de Lógica Informática (EACSL) y la Sociedad Kurt Gödel (KGS) patrocinaron conjuntamente el Premio Alonzo Church por sus destacadas contribuciones a la lógica y la computación (con Tomas Feder). Vardi también posee doctorados honoris causa de ocho universidades:
Vardi es miembro del Guggenheim , miembro de la ACM , miembro de la AAAI , [23] miembro de la Asociación Estadounidense para el Avance de la Ciencia y miembro extranjero de la Royal Society (ForMemRS). Fue designado investigador muy citado por el Instituto de Información Científica y elegido miembro de la Academia Nacional de Ingeniería de 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 Artes y Ciencias en 2010. [25] Fue incluido en la promoción de 2019 de becarios de la Sociedad Estadounidense de Matemáticas "por sus contribuciones al desarrollo y uso de la lógica matemática en la informática". ". [26]
Vardi vive con su esposa Pamela Geyer en Houston, Texas . [17] Su hijastro Aaron Hertzmann [27] también es informático en Adobe Research .
Moshe Vardi, científico informático de la Universidad Rice, ha sido nombrado Profesor de Servicio Distinguido, uno de los nombramientos docentes más prestigiosos de la universidad.
Profesor Moshe Y. VARDI, EE.UU. / En reconocimiento a sus destacadas contribuciones en varias áreas de la ciencia computacional conectadas por el 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.
la Medalla Blaise Pascal de Ciencias de la Computación 2008 otorgada por la Academia Europea de Ciencias