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.
Publications
(find some of them here)
Link to databases/logic programming
bibliography
