Lecturers
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.
|