Victor Vianu

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.