Victor Vianu es informático, profesor de informática e ingeniería en la Universidad de California en San Diego . [1] Se desempeñó como editor en jefe de la Revista de la ACM de 2009 a 2015. [2] [3]
Victor Vianu | |
---|---|
alma mater | Universidad del Sur de California |
Conocido por | Teorema de Abiteboul-Vianu |
Carrera científica | |
Asesor de doctorado | Seymour Ginsburg |
Vianu realizó sus estudios de posgrado en la Universidad del Sur de California , obteniendo su Ph.D. en 1983 bajo la supervisión de Seymour Ginsburg ; se unió a la facultad de UCSD en 1984. [1]
El libro de Vianu Foundations of Databases (con Serge Abiteboul y Richard Hull, Addison-Wesley, 1995) es un libro de texto estándar para graduados en teoría de bases de datos . En la teoría de modelos finitos y la teoría de la complejidad computacional , el teorema de Abiteboul-Vianu (también publicado con Abiteboul en el Simposio de Teoría de la Computación de 1991 ) establece que el tiempo polinomial es igual a PSPACE si y solo si la lógica de punto fijo es igual a la lógica de punto fijo parcial. En el Simposio de 2010 sobre los principios de los sistemas de bases de datos , Vianu y sus coautores Dan Suciu yTova Milo ganó el premio Alberto O. Mendelzon Test-of-Time por su trabajo diez años antes en la verificación de tipos para lenguajes de transformación XML . [4] Vianu y su coautor Luc Segoufin ganaron un segundo premio Alberto O. Mendelzon Test-of-Time en 2015, por su artículo de 2005 "Vistas y consultas: determinación y reescritura".
En 2006, Vianu fue elegido miembro de la ACM por sus "contribuciones a los sistemas de gestión de bases de datos ". [5]
En 2013, fue elegido miembro de la AAAS (Asociación Estadounidense para el Avance de la Ciencia). Fue elegido miembro de la Academia Europaea en 2014.
En su primer artículo registrado por DBLP [6] (presentado en MFCS , 1977), Vianu agradece a Solomon Marcus por su orientación. [7]
Referencias
- ^ a b Perfil de la facultad , UCSD, consultado el 21 de marzo de 2011.
- ^ Vianu, Victor (2010). "JACM al inicio de una nueva década" . Revista de la ACM . 57 (3). doi : 10.1145 / 1706591.1706592 .
- ^ "Historia | Revista de la ACM" . jacm.acm.org . Archivado desde el original el 26 de octubre de 2011 . Consultado el 12 de agosto de 2015 .
- ^ Premio ACM PODS Alberto O. Mendelzon Test-of-Time , ACM SIGMOD, consultado el 21 de marzo de 2011 .
- ^ Cita del ACM Fellow Award, ACM, consultado el 21 de marzo de 2011.
- ^ http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/v/Vianu:Victor.html
- ^ Vianu, Victor (1977). "El espacio métrico bodnarchuk de los lenguajes y la topología del espacio de aprendizaje". En Gruska, Jozef (ed.). Actas, 6º Simposio, Fundamentos matemáticos de la informática, Tatranská Lomnica, 5 al 9 de septiembre de 1977 . Apuntes de conferencias en informática. 53 . Springer-Verlag. págs. 537–542. doi : 10.1007 / 3-540-08353-7_177 .
enlaces externos
- Página de inicio en UCSD