Background and Career
– Victor Vianu is a computer scientist.
– He is a professor of computer science and engineering at the University of California, San Diego.
– Vianu served as editor-in-chief of the Journal of the ACM from 2009 to 2015.
– He earned his Ph.D. in 1983 from the University of Southern California.
– Vianu joined the UCSD faculty in 1984.
Contributions to Database Theory
– Vianu co-authored the book ‘Foundations of Databases’ which is a standard graduate textbook in database theory.
– The Abiteboul-Vianu theorem, published in 1991, states that polynomial time equals PSPACE if and only if fixed-point logic equals partial fixed-point logic.
– Vianu, along with Dan Suciu and Tova Milo, won the Alberto O. Mendelzon Test-of-Time Award in 2010 for their work on type checking for XML transformation languages.
– In 2015, Vianu and Luc Segoufin won a second Alberto O. Mendelzon Test-of-Time award for their article on views and queries.
– Vianu’s contributions to database management systems led to his election as a Fellow of the ACM in 2006.
Recognition and Awards
– In 2013, Vianu was elected as a Fellow of the AAAS (American Association for the Advancement of Science).
– He was elected to Academia Europaea in 2014.
– Vianu received the Alberto O. Mendelzon Test-of-Time Award from ACM SIGMOD.
– He was recognized as an ACM Fellow for his contributions to database management systems.
– Vianu’s paper presented at MFCS in 1977 acknowledged Solomon Marcus for guidance.
Publications and Citations
– Vianu published an article titled ‘JACM at the Start of a New Decade’ in the Journal of the ACM in 2010.
– He has a faculty profile at UCSD.
– Vianu’s paper ‘Mathematical Foundations of Computer Science 1977’ was published in the Proceedings of the 6th Symposium on Mathematical Foundations of Computer Science.
– His publications can be found on DBLP (Digital Bibliography & Library Project).
– Vianu’s work has been cited multiple times by other researchers and scholars.
Academic Affiliations
– Victor Vianu is a professor at the University of California, San Diego.
– He has been a faculty member at UCSD since 1984.
– Vianu served as the editor-in-chief of the Journal of the ACM.
– He was elected as a Fellow of the ACM in 2006.
– Vianu is also affiliated with the AAAS and Academia Europaea.
Victor Vianu is a computer scientist, a professor of computer science and engineering at the University of California, San Diego. He served as editor-in-chief of the Journal of the ACM from 2009 to 2015.
Victor Vianu | |
|---|---|
| Alma mater | University of Southern California |
| Known for | Abiteboul–Vianu theorem |
| Scientific career | |
| Doctoral advisor | Seymour Ginsburg |
Vianu did his graduate studies at the University of Southern California, earning his Ph.D. in 1983 under the supervision of Seymour Ginsburg; he joined the UCSD 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. At the 2010 Symposium on Principles of Database Systems, Vianu and his co-authors Dan Suciu and Tova Milo won the Alberto O. Mendelzon Test-of-Time Award for their work ten years prior on type checking for XML transformation languages. Vianu and his co-author Luc Segoufin won a second Alberto O. Mendelzon Test-of-Time award in 2015, for their 2005 article "Views and Queries: Determinacy and Rewriting."
In 2006, Vianu was elected as a Fellow of the ACM for his "contributions to database management systems".
In 2013, he was elected Fellow of the AAAS (American Association for the Advancement of Science). He was elected to Academia Europaea in 2014.
In his first paper recorded by DBLP (presented at MFCS, 1977), Vianu acknowledges Solomon Marcus for guidance.
