Multi-Agent Systems

MAS Lecturers Literature Schedule Outline Participants Projects Grading Results Links


Rineke Verbrugge is Full Professor at the University of Groningen's Institute of Artificial Intelligence. Since 2002, she has been the leader of the Multi-Agent Systems research group. Her work focuses on logics, multi-agent systems, and social cognition. She received a M.Sc. (cum laude) and a Ph.D. in Mathematics from the University of Amsterdam. Subsequently, she was a post-doc in Prague and Gothenburg, and Assistant Professor at MIT and the Vrije Universiteit Amsterdam. Rineke Verbrugge is chair of the Netherlands Organization for Logic and has (co-)chaired events such as FAMAS, CEEMAS and the Twentieth European Summer School in Logic, Language and Information. Together with Jan van Eijck, she has been awarded four grants for their large international NIAS-project Games, Action and Social Software. From June 2009, Rineke Verbrugge leads the NWO Vici project Cognitive Systems in Interaction: Logical and Computational Models of Higher-order Social Cognition.

Barteld Kooi is Lecturer at the Faculty of Philosophy at the University of Groningen. He studied philosophy in Groningen and wrote his master's thesis on the so-called Monty Hall Dilemma under the supervision of Erik Krabbe and Rineke Verbrugge. This led to a PhD project in the computer science department in Groningen under the supervision of Gerard Renardel and Rineke Verbrugge. He finished my dissertation on probabilistic dynamic epistemic logic in 2003. After his PhD he worked as a postdoc at the Department of Philosophy on further topics within dynamic epistemic logic and related subjects. Since September 2008 he is a lecturer in logic continuing his research I started on as a postdoc. From 2006 to 2009 Barteld Kooi worked on the NWO Veni project Developing dynamic epistemic logic guided by old paradoxes and new techniques. From June 2010 he will lead the NWO Vidi project Logics for intelligent interaction: expressivity and succinctness.

Rineke and Barteld are assisted by Twan van Laarhoven.