Victor Vianu is a Professor in the Department of Computer Science and Engineering at University of California, San Diego. His work bridges database systems, computational logic, and verification of data-driven workflows. Co-author of the influential book Foundations of Databases (1995) PI of NSF grant III 1815247: Views of Data-Driven Business Processes: Foundations and Applications Research Focus He studies verification of database-driven systems, workflow views, and query language theory. His NSF-funded project explores view-based abstraction mechanisms for business processes, integrating logic, automata theory, and infinite-state system analysis. Teaching Victor teaches courses in database systems, logic for computer science, and database theory, including CSE 132A, CSE 205A, and CSE 233. Labs & Collaborations Active member of the UCSD Database Laboratory , collaborating with institutions like INRIA, ENS-Paris, and University of Lille. Leads research seminars in database theory.







