Education
Vianu did his graduate studies at the University of Southern California, earning his Doctor of Philosophy in 1983 under the supervision of Seymour Ginsburg. He joined the University of California, San Diego faculty in 1984.
Vianu did his graduate studies at the University of Southern California, earning his Doctor of Philosophy in 1983 under the supervision of Seymour Ginsburg. He joined the University of California, San Diego faculty in 1984.
Vianu"s book Foundations of Databases (with Serge Abiteboul and Richard Hull, Addison-Wesley, 1995) is a standard graduate textbook in database theory. In finite model theory and computational complexity theory, the Abiteboul–Vianu theorem (also published with Abiteboul, at the 1991 Symposium on Theory of Computing) states that polynomial time equals PSPACE if and only if fixed point logic equals partial fixed point logic. In 2006, Vianu was elected as a Fellow of the Association for Computing Machinery (ACM) for his "contributions to database management systems".
In his first paper recorded by DBLP (presented at MFCS, 1977), Vianu acknowledges Solomon Marcus for guidance.
