Vardi, Moshé

moshe vardy
Fecha de nacimiento 4 de julio de 1954( 04/07/1954 ) (68 años)
Lugar de nacimiento
País
Lugar de trabajo
alma mater
consejero científico Catriel Beeri [d] [2]
Premios y premios Beca Guggenheim Premio Gödel ( 2000 ) Premio París Kanellakis ( 2005 ) Premio de la Asociación Europea de Informática Teórica [d] ( 2012 ) Premio en memoria de Harry Hood ( 2011 ) Premio a la innovación SIGMOD Edgar F. Codd [d] ( 2008 ) miembro de la AAAI [d] Fello ACM Miembro de la Sociedad Matemática Americana miembro de la Asociación Estadounidense para el Avance de la Ciencia [d] doctor honorario de la Universidad de Saarland [d] ( 2002 ) miembro de la Sociedad de Matemáticas Industriales y Aplicadas [d] ( 2015 )
Sitio web cs.rice.edu/~vardi/
 Archivos multimedia en Wikimedia Commons

Moshe Yaakov Vardy ( heb. משה יעקב ורדי ‏; nacido el 4 de julio de 1954 ) es un matemático e informático israelí , profesor emérito de informática en la Universidad Rice [3] [4] , director del Instituto Ken Kennedy de Tecnología de la Información. .

Educación y actividad científica

Recibió su doctorado de la Universidad Hebrea de Jerusalén en 1981 . Presidió el departamento de ciencias de la computación en la Universidad de Rice desde enero de 1994 hasta junio de 2002. Antes de unirse a Rice en 1993, trabajó en el Centro de Investigación Almaden de IBM , donde dirigió el departamento de Matemáticas y Ciencias de la Computación Afines.

Intereses científicos

Los intereses se centran en la aplicación de la lógica en informática, incluida la teoría de bases de datos, la teoría de modelos finitos, el conocimiento en sistemas de múltiples agentes , la verificación y el razonamiento informáticos y la lógica del 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 [5] [6] .

Publicaciones científicas

Autor de más de 400 publicaciones [7] [8] [9] , editor de varias colecciones científicas.

Autor de Razonamiento sobre el conocimiento [10] (con Ronald Fagin , Joseph Halpern y Yoram Moses ), Teoría de modelos finitos y sus aplicaciones [11] (con Erich Gradel, Fokion Kolaitis, Leonid Libkin, Marten Marx, Joel Spencer , Go Wen y Scott Weinstein).

En 2012, fue redactor jefe de Comunicaciones de la ACM [12] .

Premios y logros

Ganador de tres IBM Outstanding Innovation Awards, el Premio Gödel 2000 por su trabajo en lógica temporal con autómatas finitos , el Premio Kanellakis 2005 y el Premio LICS 2006.

En 2008, recibió el Premio Presidencial de la ACM y la Medalla Blaise Pascal en Ciencias Computacionales [13] de la Academia Europea de Ciencias [14] .

En 2010, recibió Premios al Servicio Distinguido de la Computer Research Association ; en 2011, el premio Goode de la IEEE Computer Society .

Doctorados honorarios de la Universidad de Saarland y la Universidad de Orleans .

Editor de varias revistas. Presidente de la Federación Internacional de Lógica Computacional. Guggenheim Fellow , miembro de la Asociación de Maquinaria Informática , la Asociación Estadounidense para el Avance de la Ciencia y la Asociación Estadounidense de Inteligencia Artificial .

Incluido en la lista de científicos altamente citados del Instituto de Información Científica . Miembro de la Academia Nacional Estadounidense de Ingeniería , la Academia Nacional de Ciencias de EE . UU. [15] , la Academia Europea (Academia Europaea). En 2010 fue elegido miembro de la Academia Estadounidense de las Artes y las Ciencias [16] . Copresidente del Grupo de Trabajo de la ACM sobre Migración Laboral.

Notas

  1. ↑ Descarga de datos de Freebase - Google .
  2. ↑ Genealogía matemática  (inglés) - 1997.
  3. ↑ www.cs.rice.edu/~vardi . Consultado: 20 de junio de 2012.
  4. ↑ BOYD, Moshe Vardi de JADE Rice honrado como Profesor de Servicio Distinguido . Universidad Rice (22 de julio de 2011). — "El científico informático de la Universidad de Rice, Moshe Vardi, ha sido nombrado Profesor de Servicio Distinguido, uno de los nombramientos de profesores más prestigiosos de la universidad". Consultado el 10 de abril de 2012. Archivado desde el original el 10 de abril de 2012.
  5. ↑ Moshe Y. Vardi - Página de perfil de autor de ACM . Consultado el 13 de febrero de 2019. Archivado desde el original el 23 de marzo de 2019.
  6. ↑ Marianne Winslet. Moshe Vardi habla sobre la prueba, la prueba completa y nada más que la prueba  // Registro SIGMOD  : diario  . - 2006. - vol. 35 . — Pág. 56 . -doi : 10.1145/ 1121995.1122008 .
  7. ↑ dblp: Moshé Y Vardi
  8. ↑ Moshe Y. Vardi - Citas de Google Scholar . Consultado el 12 de febrero de 2019. Archivado desde el original el 14 de abril de 2021.
  9. ↑ Moshe Y. Vardi - Publicaciones y Presentaciones
  10. ↑ Vardi, Moshé Y.; Faguin, Ronald; Halpern, José; Yoram Moisés. Razonamiento sobre el conocimiento  (indefinido) . - Cambridge, Massachusetts: The MIT Press , 2003. - ISBN 0-262-56200-6 .
  11. ↑ Weinstein, Scott; Erich Gradel; kolaítis, foquión; Leonid Libkin; Martín Marx; Spencer, Joel H.; Vardi, Moshe Y.; Venema, Yde. Teoría de modelos finitos y sus aplicaciones  (neopr.) . - Berlín: Springer, 2007. - ISBN 3-540-00428-9 .
  12. ↑ Moshé Y. Vardi. Inteligencia artificial: pasado y futuro  (inglés)  // Comunicaciones de la ACM  : revista. - 2012. - vol. 55 . — Pág. 5 . -doi : 10.1145/ 2063176.2063177 .
  13. ↑ LA MEDALLA BLAISE PASCAL 2008 (sección: "Medalla Blaise Pascal en Ciencias Computacionales") (enlace no disponible) . Academia Europea de Ciencias . — «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”. Consultado el 27 de abril de 2017. Archivado desde el original el 4 de marzo de 2017. 
  14. ↑ ¿La automatización condena a los trabajadores? . Escuela de Ingeniería George R. Brown de la Universidad de Rice (31 de octubre de 2016). - "la Medalla Blaise Pascal de Informática de 2008 de la Academia Europea de Ciencias". Consultado el 27 de abril de 2017. Archivado desde el original el 27 de abril de 2017.
  15. ↑ Elecciones de la Academia Nacional de Ciencias, Notices of the American Mathematical Society Vol . 62 (7): 826, agosto de 2015 
  16. ↑ Moshe Y. Vardi de Rice elegido miembro de la Academia Estadounidense de las Artes y las Ciencias . Archivado el 3 de febrero de 2019 en Wayback Machine .

Enlaces

 Ganadores del Premio Kanellakis
  Ir al elemento de Wikidata  en redes sociales
sitios temáticos