Victor Vianu is a Professor in the Department of Computer Science and Engineering at the U.C. San Diego. His research interests are in database systems and theory. Most recently, he has been focusing on verification of database-driven systems, an area at the boundary of databases and computer-aided verification. His current research focuses on automatic verification of interactive data-driven Web services and business processes. He is also interested in the theory of query languages and computational logic.
Books Authored by Victor Vianu