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. The main research projects that I am currently involved in are on
Teaching
People
Further Links
|