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 Meeting
I also collaborate extensively with the DAHU team at INRIA and ENS Cachan, France.
NSF support
My work with Alin Deutsch on business processes is supported by the National Science Foundation under grant Data-Centric Business Processes: Specification and Static AnalysisPublications
(find some of them here)Link to databases/logic programming bibliography
Editorial Activity
Editor-in-Chief of the Journal of the ACMArea Editor of ACM Transactions on Computational Logic
Book
Foundations of Databasesby S.Abiteboul, R.Hull and V.Vianu, Addison-Wesley, 1995.
Online version
Current classes
CSE 205A: Logic for Computer ScienceGraduate Student Affairs Committee
For the academic year 2012-2013, I am a member of Gradcom, the departmental committee on graduate student affairs|
Join the premier professional organization for database researchers and practitioners: |
|
