Institute for Logic, Language and Computation
Tel: +31 (0)20 525 6511 |
||
(download) | (download) |
Affiliation. I'm Professor of Artificial Intelligence and Collective Decision Making at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, where I lead the COMSOC Group. I currently am serving as the leader of the Theoretical Computer Science research unit of the ILLC. We are part of the broader Theory community in Amsterdam (theory.amsterdam). I'm also a member of our new Centre for Explainable, Responsible and Theory-driven AI (CERTAIN).
Research. 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. All of my papers are available from this website. Most of them are also open-access publications in the formal sense of that term (and hopefully one day all of them will be).
Teaching. I regularly teach courses on Computational Social Choice and Game Theory for our MSc Logic and MSc AI programmes, and in the past I also taught a very cool a course on Problem Solving and Search for the first-year students in our BSc AI programme. I make a point of making all of the teaching materials I developed over the years openly available to everyone who might be interested (just as I do for my research output).
Advertisements. Please find below a few examples of recent and ongoing activities as well as reading suggestions: