PhD and MSc Students

Supervisor for Master's Students

  • 2024: Andreea Minculescu, Cutting Cheryl's Birthday cake: Modeling theory of mind orders in public announcement logic
    Download pdf

  • 2023: Sverre Brok, The influence of lying in a negotiation setting: Colored Trails
    Download pdf

  • 2023: Isabelle Tilleman, Smart negotiators for a smarter grid: Exploring the potential of theory of mind in energy regulation
    Download pdf

  • 2023: Jordy de Lange, Can predatory pressure explain flocking behavior?
    Download pdf

  • 2022: Oscar de Vries, Simulating social interactions in times of Covid restrictions
    Download pdf

  • 2022: Daniël Miedema, Zero-suppression decision diagrams versus binary decision diagrams on dynamic epistemic logic model checking
    Download pdf

  • 2022: Nicholas Kees Dupuis, Theory of mind for multi-agent coordination in Hanabi
    Download pdf

  • 2020: Eser Comak, Modelling the use of referring expressions in children with developmental disorders


  • 2019: Laura van de Braak, Extracting beliefs from hidden protocol situations: Additions to the existing formalization
    Download pdf

  • 2019: René Mellema: An inquisitive dynamic epistemic logic with factual change
    Download pdf

  • 2017: Jordi Top, Bridging the gap between logic and cognition: A translation method for centipede games 
    Download pdf

  • 2017: Sebastiaan Grasdijk, Information discovery and integration using a multi-agent system with ant colony optimization 
    Download pdf

  • 2016: Diederik van Krieken, Agent negotiation in a manufacturing process
    Download pdf 

  • 2016: Johan Los, Preference-based improvements on solutions of multi-agent temporal problems by automated negotiation 
    Download pdf

  • 2016: Arnoud van der Meulen, Comparing multiple models of reasoning: An agent-based approach 
    Download pdf

  • 2015: Fransje van Weerden, Modelling foragers' reaction to disturbance: Limitations in transmission, learning about danger

  • 2015: Aliene van der Veen, Connecting PowerMatcher to the electricity markets: An analysis of a Smart Grid application 
    Download pdf

  • 2015: Mirjam de Vos, Solving the knower paradox via the logic of provability 
    Download pdf

  • 2014: Ayla Kangur, Steccar: Simulating the transition to electric cars using the Consumat agent rationale 
    Download pdf

  • 2014: Gido Schoenmacker, Agent-based consumer modelling of the Dutch lighting market. 
    Download pdf

  • 2014: Eva van Viegen, Reading experiments on higher-order social reasoning. 
    Download pdf

  • 2014: Eveline Broers, Negotiating with incomplete information: The influence of theory of mind. 
    Download pdf

  • 2013: Jorge Medina, A model checker for unbounded dynamic epistemic logic models. 
    Download pdf

  • 2012: Inge Slingerland (agent-based modeling of the influence of government on society)

  • 2012: Martin Klomp, Using a cognitive model in an agent-based learning environment.

  • 2012: Reading committee for Paula Henk, Master of Logic, ILLC Amsterdam, Supremum in the lattice of interpretability. 
    Download pdf

  • 2012: Co-supervisor of Burcu Arslan, METU Ankara, Evidentiality and second-order social cognition. 
    Download pdf

  • 2012: Jasper Spaans (computational cognitive models of social cognition in ravens)

  • 2011: Lise Pijl, Modelling the evolution of theory of mind. 
    Download pdf

  • 2011: Theije Visser, Emergence of social dynamics among affectively motivated agents. 
    Download pdf

  • 2010: Harmen de Weerd, Evolution of altruistic punishment in heterogeneous populations.
    Download pdf

  • 2009: Maarten Jacobs: Multi-agent learning in the quantum prisoner's dilemma. 
    Download pdf

  • 2009: Gert van Valkenhoef, Dealing with execution uncertainty in the continuous double auction.
    Download pdf

  • 2008: Tim Dorscheidt, Cultural evolution through idealised child-parent imitation: A computational study in cultural evolutionary dynamics (BCN Research master). 
    Download pdf

  • 2008: Gert van Valkenhoef, Elaborations on OOPS (extra research project on theorem proving for modal logics). 
    Download pdf

  • 2007: Elske van der Vaart, Evolving models of theory of mind (BCN Research Master). 
    Download pdf

  • 2007: Harmen Wassenaar, Taming Frankenstein’s logic.
    Download pdf

  • 2007: Douwe Terluin: From Fabula to fabulous: Using discourse structure relations to separate paragraphs in automatically generated stories. 
    Download pdf

  • 2007: Hilverd Reker: A Tree decomposition approach to automated reasoning. 
    Download pdf

  • 2007: Jop Gerritsen (data mining)

  • 2007: Gerben Blom, An artificial intelligence approach to dots and boxes.
    Download pdf

  • 2006: Mathijs de Boer: Praktische bewijzen in Public Announcement Logica. 
    Download pdf

  • 2006: Liesbeth Flobbe, Children’s development of reasoning about other people’s minds.
    Download pdf

  • 2006: Egon van Baars, Knowledge-based algorithm for multi-agent communication.
    Download pdf

  • 2006: Joris IJsselmuiden , Qualitative decision theory and term rewriting in an adaptive diary assistant.

  • 2006: Maaike Harbers, The examination of an information-based approach to trust.
    Download pdf

  • 2005: Matthijs van Santen de Hoog, Verificatie van kennisbanken.
    Download pdf

  • 2005: Martijn Bosma: Musicology in a virtual world: A bottom up approach to the study of musical evolution. 
    Download pdf

  • 2005: Berto Booijink, Strategy evolution and resolution deduction in Diplomacy.
    Download pdf

  • 2004: Lisette Mol, Learning to reason about other people's minds.
    Download pdf

  • 2004: Diederik Kraaikamp (knowledge technology for business rules, post-master research project)

  • 2004: Robert Coehoorn, Learning an Opponent's Preferences in order to make effective multi-issue negotiation trade-offs.
    Download pdf

  • 2004: Luit Gazendam, Menselijk beslissen in theorie en praktijk tijdens het herhaalde prisoner’s dilemma.

  • 2003: Edo Plantinga (cognitive science and tutoring systems). 

  • 2003: Willem Hibbeln, Updating a robot’s internal map of the environment.

  • 2003: Albert van der Heide, The group movement of Aptenodytes forsteri implemented as an 'emergent' phenomenon.

  • 2002: Volker Nannen, The paradox of overfitting.

  • 2002: Jan-Willem Wennekes, Bounded rationality in communication.
    Download pdf

  • 2002: Caren Wolferink, Een Zelflerend Systeem voor het Ontdekken van Ongewoon Gedrag binnen een Toegangssysteem.

  • 2002: Suzanne van Gelder, Genetic tuning.

  • 2002: Sjoerd Druiven, Knowledge development in games of imperfect information.

  • 2002: Gerolf de Boer, Ontologieën en teamvorming in multi-agent systems.

  • 2001: Maarten Grachten. JIG: An approach to jazz improvisation.

  • 2001: Cynthia van Weeren, Een analyse van het roosterprobleem op middelbare scholen.

  • 2000: Diederik Roosch (multi-agent systems)

  • 2000: Wouter Teepe (security and multi-agent systems)

  • 1999: Barteld Kooi (epistemic logic and multi-agent systems)

  • 1997: Dennis Dragstra (machine learning)

  • 1997: Chilo van Best (multi-agent systems)

  • 1996: Anders Bouwer (tutoring systems)

  • 1996: Michiel Visser (robotics)

Rineke Verbrugge 2024