From 2023: Promotor and supervisor of Ramira van der Meulen, on computational models of common ground (with Max van Duijn and Marcello Bonsangue).

From 2023: Promotor and supervisor of Flavia Naehrlich, on formal semantics of plural definites and generics (with Angeliek van Hout).

From 2022: Promotor and supervisor of J.D. Top, on logical and computational models of theory of mind and lie detection (with Harmen de Weerd and Catholijn Jonker).

From 2022: Promotor and supervisor of Özlem Yeter, on training children to detect lies using higher-order theory of mind ( with Petra Hendriks and Barteld Kooi).

From 2022: Promotor and supervisor of Ludi van Leeuwen, on reasoning with evidence using Bayesian Networks and agent-based modeling (with Bart Verheij and Silja Renooij).

From 2021: Promotor and supervisior of Edoardo Baccini, on dynamics of social networks (with Zoé Christoff).

From 2020: Promotor and supervisor of Emre Erdogan on computational theory of mind and privacy (with Pinar Yolum and Frank Dignum).

2018-2023: Promotor of Yuzhe Zhang, PhD defence November 13, 2023, title of thesis: Power and Truth in Liquid Democracy (with first promotor Davide Grossi).
Download thesis

2018-2023: Promotor of Hamed Ayoobi, PhD defence January 30, 2023, title of thesis: Explain What You See: Argumentation-Based Learning & Robotic Vision (with first promotor Bart Verheij, promotor Ming Cao, and co-promotor Hamidreza Kasaei).
Download thesis

2018-2022: Promotor of Xingchi Su, PhD defence September 29, 2022, title of thesis: How Knowledge Affects Obligations: A Study on the Logic of Knowledge-Based Obligations (with first promotor Barteld Kooi and promotor Davide Grossi).

2018-2022: Promotor of Atefeh Keshavarzi Zafarghandi, PhD defence April 29, 2022, title of thesis: Abstract Dialectical Frameworks: Semantics, Discussion Games, and Variations (with first promotor Bart Verheij).
Download thesis

From 2016: Fransje van Weerden, on social reasoning in animals under predation (supervision with first Charlotte Hemelrijk and then Jan Komdeur).

2016-2021: Promotor of Yuri David Santos. PhD defence January 14, 2021, title of thesis: Evidence-Based Beliefs in Many-Valued Modal Logics (with promotor Barteld Kooi).
Download thesis

2016-2020: Promotor of Stipe Pandžić, PhD defence October 29, 2020, title of thesis: Reasoning with Defeasible Reasons (with promotores Barteld Kooi and Allard Tamminga)
Download thesis

2008-2016: Piter Dykstra on modeling opinion dynamics in multi-agent systems (supervision with Gerard Renardel de Lavalette and Wander Jager; discontinued).

2012-2017: Promotor of Burcu Arslan. PhD defence April 21, 2017, title of thesis: A Computational Cognitive Modeling Approach to the Development of Second-order Theory of Mind (with second promotor Niels Taatgen)
Download pdf

2012-2016: Promotor of Charlotte Vlek. PhD defence October 28, 2016, title of PhD thesis: When Stories and Numbers Meet in Court: Constructing and Explaining Bayesian Networks for Criminal Cases with Scenarios (first promotor Bart Verheij; third promotor Henry Prakken, co-promotor Silja Renooij). Download thesis

2010-2015: Promotor of Harmen de Weerd. PhD defence October 2, 2015, title of thesis: If You Know What I Mean: Agent-Based Models for Understanding the Function of Higher-Order Theory of Mind (co-promotor Bart Verheij). Download thesis

2009-2014: Promotor of Ben Rodenhäuser. PhD defense June 19, 2014, title of PhD thesis: A Matter of Trust: Dynamic Attitudes in Epistemic Logic (daily supervision by co-promotor Sonja Smets; other promotor Frank Veltman). Download pdf

2009-2014: Promotor of Ben Meijering. PhD defense June 6, 2014, title of PhD thesis: Reasoning About Self and Others (supervision with promotor Niels Taatgen and co-promotor Hedderik van Rijn). Download pdf

2007-2013: Promotor of Elske van der Vaart. PhD defense February 25, 2013, title of PhD thesis: A Cognitive Model of Caching by Corvids (supervision with promotor Charlotte Hemelrijk).
The PhD thesis was awarded cum laude.
Elske van der Vaart has been winner of an NWO Top Talent grant, 2007, and the New Investigator Award: Animal Behavior Processes of the American Psychological Association, 2012. Download pdf

2009-2013: Promotor of Anja Lobanova.  PhD defense November 30, 2012, title of PhD thesis: The Anatomy of Antonymy: A Corpus-Driven Approach (supervision with co-promotor Jennifer Spenader). Download pdf

October 2010-December 2011: Supervisor of Jort Bergfeld on quantum logics (daily supervision by co-promotor Sonja Smets). Defended his PhD thesis on Quantum logics for expressing and proving the correctness of quantum programs at the University of Amsterdam in 2019, promotor Sonja Smets and co-promotor Joshua Sack.
Link

2002–2007: Supervisor and co-promotor of Wouter Teepe. PhD defense January 18, 2007, title of PhD thesis: Reconciling Information Exchange and Confidentiality (promotor Lambert Schomaker). Download pdf

1999–2003: Supervisor and co-promotor of Barteld Kooi. PhD defense September 5, 2003, title of PhD thesis: Knowledge, Chance and Change (promotor Gerard Renardel). Winner of the 2004 Van Swinderen Prize. Download pdf

1995–1999: Supervisor and examiner of Joeri Engelfriet. PhD defense February 4, 1999, title of PhD thesis: The Dynamics of Reasoning (promotor Jan Treur). Download pdf