Victor Vianu es un científico informático, profesor de ciencias de la computación e ingeniería en la Universidad de California en 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 la 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 de posgrado en teoría de bases de datos . En teoría de modelos finitos y 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 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 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 sobre 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 "Views and Queries: Determinacy and Rewriting".
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) y en 2014 fue elegido miembro de la Academia Europaea .
En su primer artículo registrado por DBLP [6] (presentado en MFCS , 1977), Vianu agradece a Solomon Marcus por su orientación. [7]