ACM_Citations
    • USA-2006

      For contributions to database management systems.

    Experience
    Education
    Bio
    Victor Vianu received his PhD in Computer Science from the University of Southern California in 1983 and joined UC San Diego in 1984. Aside from UCSD, he has taught at the Ecole Normale Superieure and Ecole Nationale Superieure des Telecommunications in Paris, as well as the Sorbonne. He has spent numerous sabbaticals as invited professor at INRIA, where he now holds an International Chair. Vianu's interests include database theory, computational logic, and Web data. His most recent research focuses on specification and verification of data‐driven Web services and workflows. Vianu's publications include over 100 research articles and a graduate textbook on database theory. He received the PODS Alberto Mendelzon Test‐of‐Time Award in 2010 and has given numerous invited talks including keynotes at PODS, ICDT, STACS, the Annual Meeting of the Association of Symbolic Logic, and the Federated Logic Conference. Vianu has served as General Chair of SIGMOD and PODS, and Program Chair of the PODS and ICDT conferences. He is currently Editor‐in‐Chief of the Journal of the ACM and Area Editor o ACM Transactions on Computational Logic. He was elected Fellow of the ACM in 2006,  Fellow of the AAAS (American Association for the Advancement of Science) in 2013, and is a member of Academia Europaea. 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.
    Publications:
    Victor Vianu:
    Invited Articles Foreword. J. ACM 62(1): 6:1 (2015)。
    viewexportask others Victor Vianu:
    Invited Article Foreword. J. ACM 62(2): 16 (2015)。
    viewexportask others Victor Vianu:
    Invited Article Foreword. J. ACM 62(3): 24 (2015)。
    viewexportask others Victor Vianu:
    Analysis of Data-Centric Workfows. AMW 2015。
    viewexportask others Adrien Koutsos, Victor Vianu:
    Process-Centric Views of Data-Driven Business Artifacts. ICDT 2015: 247-264。

    viewexportask others Victor Vianu:
    Foreword to Invited Articles Section. J. ACM 61(1): 6:1 (2014)。
    viewexportask others Victor Vianu:
    Invited Articles Foreword. J. ACM 61(4): 25:1 (2014)。
    viewexportask others Victor Vianu:
    Invited article foreword. J. ACM 61(5): 31:1 (2014)。
    viewexportask others Victor Vianu:
    Invited Article Foreword. J. ACM 61(6): 40:1 (2014)。
    viewexportask others Alin Deutsch, Richard Hull, Victor Vianu:
    Automatic Verification of Database-Centric Systems. SIGMOD Record 43(3): 5-17 (2014)。