My research interests are in database systems and theory. Most recently, I've been focusing on
static analysis for XML-based mediators, XML documents with incomplete information,
and automatic verification of interactive data-driven Web services and business processes.
I am also interested in the theory of query languages and logic.