Moshe Ya'akov Vardi ( hebreo : משה יעקב ורדי ) es un matemático e informático israelí. Es profesor de Ciencias de la Computación en Rice University , [2] Estados Unidos. Es profesor universitario, profesor Karen Ostrum George de ingeniería computacional, profesor de servicio distinguido [3] y director del Instituto Ken Kennedy de Tecnología de la Información. 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 en 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 un experto enverificación de modelos , satisfacción de restricciones y teoría de bases de datos , conocimiento común (lógica) e informática teórica . [4] [5]
Profesor Moshe Vardi | |
---|---|
Nació | Moshe Ya'akov Vardi 1954 (66 a 67 años de edad) Israel |
alma mater | Universidad Bar-Ilan Instituto Weizmann de Ciencias Universidad Hebrea |
Niños | Aaron Hertzmann |
Premios | Premio Gödel (2000) |
Carrera científica | |
Instituciones | Rice University IBM Almaden Research Center Universidad de Stanford |
Tesis | El problema de la implicación de las dependencias de datos en el modelo relacional [1] (1981) |
Asesor de doctorado | Catriel Beeri [1] |
Sitio web | www |
Moshe Y. Vardi es autor de más de 600 artículos técnicos [6] [7] [8] y editor de varias colecciones. Es autor de los libros Reasoning About Knowledge [9] con Ronald Fagin , Joseph Halpern y Yoram Moses , y Finite Model Theory and Its Applications [10] con Erich Grädel, Phokion G. Kolaitis , Leonid Libkin, Maarten Marx, Joel Spencer , Yde Venema y Scott Weinstein. Es editor sénior de comunicaciones de la ACM , después de haber sido su editor en jefe durante una década. [11]
Fondo
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, estuvo en el Centro de Investigación de IBM Almaden , donde dirigió el Departamento de Matemáticas e Informática Relacionada. El Dr. Vardi recibió su Ph.D. de la Universidad Hebrea de Jerusalén en 1981. [1]
Vive con su esposa Pamela Geyer en Bellaire, TX. Su hijastro Dr. Aaron Hertzmann es también un famoso científico de la computación en Adobe Investigación con experiencia en el campo de la visión por ordenador , gráficos de ordenador , Interacción Persona-Ordenador y aprendizaje automático .
Premios
Vardi ha recibido tres premios IBM Outstanding Innovation Awards, co-ganador del premio Gödel 2000 (por su trabajo en lógica temporal con autómatas finitos ), co-ganador del premio 2005 ACM Paris Kanellakis Theory and Practice , y co- ganador del premio LICS 2006 Test-of-Time. También recibió el Premio Presidencial ACM 2008 y 2017, la Medalla Blaise Pascal 2008 en ciencia computacional [12] por la Academia Europea de Ciencias, [13] el Premio al Servicio Distinguido 2010 de la Asociación de Investigación en Computación, el Instituto de Electricidad and Electronics Engineers (IEEE) Computer Society's 2011 Harry H. Goode Memorial Award , el 2018 ACM Special Interest Group for Logic and Computation (SIGLOG) , la European Association for Theoretical Computer Science (EATCS), la European Association for Computer Science Logic (EACSL) ) y la Sociedad Kurt Goedel (KGS), patrocinada conjuntamente por el premio Alonzo Church por sus contribuciones destacadas a la lógica y la computación (con Tomas Feder).
Tiene doctorados honorarios [ cita requerida ] de ocho universidades [ cita requerida ] : Universidad de Saarland , Alemania, Universidad de Orleans y Université Grenoble Alpes en Francia, UFRGS en Brasil, Universidad de Lieja en Bélgica, Universidad Técnica de Viena , Austria , la Universidad de Edimburgo en Escocia y la Universidad de Gotemburgo en Suecia. El profesor Vardi es editor de varias revistas internacionales y presidente de la Federación Internacional de Lógicos Computacionales. Él es un compañero de Guggenheim , [14] , así como un miembro de la Association for Computing Machinery , la Asociación Americana para el Avance de la Ciencia , y la Asociación Americana para la Inteligencia Artificial . 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 EE. UU. , La Academia Nacional de Ciencias , [15] la Academia Europea de Ciencias y la Academia Europaea . Fue nombrado miembro de la Academia Estadounidense de Artes y Ciencias en 2010. [16] Fue incluido en la clase de becarios de 2019 de la Sociedad Estadounidense de Matemáticas "por sus contribuciones al desarrollo y uso de la lógica matemática en la informática". [17] También ha copresidido el Grupo de trabajo de ACM sobre migración laboral .
Referencias
- ^ a b c Moshe Vardi en el Proyecto de genealogía matemática
- ^ "www.cs.rice.edu/~vardi" . Consultado el 20 de junio de 2012 .
- ^ BOYD, JADE (22 de julio de 2011). "Moshe Vardi de Rice honrado como profesor de servicio distinguido" . Universidad de Rice. Archivado desde el original el 10 de abril de 2012 . Consultado el 10 de abril de 2012 .
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.
- ^ Página de perfil de autor de Moshe Vardi en laBiblioteca digital de ACM
- ^ Winslett, M. (2006). "Moshe Vardi habla sobre la prueba, toda la prueba y nada más que la prueba". Registro ACM SIGMOD . 35 : 56–64. doi : 10.1145 / 1121995.1122008 . S2CID 27479793 .
- ^ Moshe Y. Vardi en elservidor de bibliografía DBLP
- ^ Lista de publicaciones de Microsoft Academic
- ^ Publicaciones de Moshe Vardi indexadas por Google Scholar
- ^ Vardi, Moshe Y .; Fagin, Ronald; Halpern, Joseph; Yoram Moses (2003). Razonamiento sobre el conocimiento . Cambridge, Massachusetts: The MIT Press. ISBN 0-262-56200-6.
- ^ 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.
- ^ Vardi, MY (2012). "Inteligencia artificial: pasado y futuro" . Comunicaciones de la ACM . 55 : 5. doi : 10.1145 / 2063176.2063177 .
- ^ "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 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 automatización condena a los trabajadores?" . ( Escuela de Ingeniería George R. Brown en) Rice University . 31 de octubre de 2016. Archivado desde el original el 27 de abril de 2017 . Consultado el 27 de abril de 2017 .
la Medalla Blaise Pascal de Ciencias de la Computación 2008 por la Academia Europea de Ciencias
- ^ Lista de becas Guggenheim otorgadas en 2005 # V
- ^ "Elecciones de la Academia Nacional de Ciencias", Mathematics People, Notices of the American Mathematical Society , 62 (7): 826, agosto de 2015.
- ^ Moshe Y. Vardi de Rice elegido miembro de la Academia Estadounidense de Artes y Ciencias .
- ^ 2019 Class of the Fellows of the AMS , American Mathematical Society , consultado el 7 de noviembre de 2018