Victor Vianu

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.