Victor Vianu es informático, profesor de informática e ingeniería en la Universidad de California, San Diego . [1] Se desempeñó como editor en jefe del Journal of the ACM de 2009 a 2015. [2] [3]
Vianu realizó sus estudios de posgrado en la Universidad del Sur de California , donde obtuvo su doctorado. 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 de posgrado estándar 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 sobre Teoría de la Computación de 1991 ) establece que el tiempo polinómico es igual a PSPACE si y sólo si la lógica de punto fijo es igual a la lógica de punto fijo parcial. En el Simposio sobre principios de sistemas de bases de datos de 2010 , Vianu y sus coautores Dan Suciu y Tova Milo ganaron 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 su orientación. [7]