I have been working in Graph Theory, Automated Reasoning, Logic Programming, Search Engines, Human Computation, and Technology Enhanced Learning. I am currently affiliated with with Ludwig-Maximilian University of Munich, Germany.