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