I’m Professor of Artificial Intelligence and Collective Decision Making at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam. My research concerns the use of formal methods in AI, specifically in multiagent systems and knowledge representation. I’m particularly interested in problems at the interface of AI with economics and political science, and much of my work in this area falls under the heading of computational social choice.