My research is on data management (both database systems and theory), Artificial Intelligence (knowledge representation and reasoning about uncertainty), logic and descriptive complexity theory, and the intersection of programming language theory and declarative languages.