Data Extraction, Data Exchange, Algorithms for semistructured data and XML processing, Database Theory, Algorithms for games and auctions, Graph or hypergraph based algorithms for problem decomposition, Knowledge Representation and Reasoning, Complexity in AI and Logic Programming Complexity Theory Finite Model Theory, and Complexity Computational Logic.
I am a Professor of Computing Science at Oxford University and a Fellow of St Anne's College.
I moved to Oxford from TU Vienna, Austria, in 2006, where I used to work since 1988 as a Professor of Computer Science. I currently still hold an Adjunct Professor position in Vienna, and you may look at my Vienna home page for additional information.
I have been helping to build up the Information Systems Group at Oxford University's Computing Laboratory. My current research deals with database theory, query languages, data exchange, and with graph-theoretic problem decomposition methods that can be used for recognizing large classes of tractable instances of hard problems. The latter methods have applications in query optimization, in constraint satisfaction, and in game theory and electronic commerce (e.g. winner determination in combinatorial auctions). I am a founding member of the recently established Oxford-Man Institute of Quantitative Finance.
