Victor Vianu

Professor, Computer Science and Engineering

Department of Computer Science and Engineering
U.C. San Diego
La Jolla, CA 92093-0404, USA
858-534-7029 (fax)
Office: CSE 4238
Capsule Bio

Research Area

My research interests are in database systems and theory. Most recently, I've been focusing on verification of database-driven systems, an area at the boundary of databases and computer-aided verification. My current research focuses on automatic verification of interactive data-driven Web services and business processes. I am also interested in the theory of query languages and computational logic.

UCSD Database Laboratory

Home Page
Database Group Research Seminar

NSF support

My work on business processes is supported by the National Science Foundation under grant Views of Data-Driven Business Processes: Foundations and Applications


(find some of them here)
Link to databases/logic programming bibliography


Foundations of Databases
by S.Abiteboul, R.Hull and V.Vianu, Addison-Wesley, 1995.
Online version
Alice birthday celebration



Join the premier professional organization for database researchers and practitioners: