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.
