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]
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]
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? ]
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 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]
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 .
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.
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.
Medalla Blaise Pascal 2008 de Ciencias de la Computación otorgada por la Academia Europea de Ciencias.