I'm always happy to supervise student projects at all levels, provided they are related to my own research interests. Master of Logic students (and others) who would like to work with me on their thesis are encouraged to attend the Computational Social Choice Seminar and to take my course on this topic, as these activities closely reflect my current interests. Beyond that I also have a few other interests in Knowledge Representation and Multiagent Systems (you can always ask).
Below is a selection of student projects I have supervised in the past:
Michael A. Müller (carried out in Lens with main supervisors Srdjan Vesic and Bruno Yun)
Arguing with Doubt (ILLC-MoL-2024-16)
Master of Logic, University of Amsterdam, 2024
Pelle Nelissen
Consistent Judgment Aggregation in Liquid Democracy: Utilizing Delegation Structure in the Ranked Agenda Rule (ILLC-MoL-2024-03)
Master of Logic, University of Amsterdam, 2024
(After graduation Pelle became a highschool teacher.)
Tuva Bardal
Size Approval Voting Rules (ILLC-MoL-2023-16)
Master of Logic, University of Amsterdam, 2023
(Tuva is now a PhD student at Warwick.)
Philemon Huising
Multiwinner Voting with Priority Candidates (ILLC-MoL-2023-15)
Master of Logic, University of Amsterdam, 2023
(After graduation Philemon became an instructor at the UvA and Amsterdam University College.)
Pauline Baanders
Nash Social Welfare in Judgement Aggregation: Introducing the Kemeny-Nash Rule (thesis)
MSc AI, University of Amsterdam, 2023
(After graduation Pauline became a risk modeller at Achmea Bank.)
Marie Christin Schmidtlein
Voting by Axioms (ILLC-MoL-2022-08)
Master of Logic, University of Amsterdam, 2022
(This work led to a paper at AAMAS-2023, where it was runner-up for the Best Paper Award. Marie now is an analyst at Picnic Technologies.)
Daniela Loustalot Knapp
Justification of Matching Outcomes (ILLC-MoL-2022-01)
Master of Logic, University of Amsterdam, 2022
(Daniela is now a PhD student at Utrecht.)
Leyla Ade (main supervisor: Arianna Novaro)
Iterative Goal-Based Voting
(ILLC-MoL-2021-10)
Master of Logic, University of Amsterdam, 2021
(Leyla is now a PhD student at Bayreuth.)
Jason Tsiaxiras (jointly supervised with Zoi Terzopoulou)
Strategic Voting under Incomplete Information in Approval-Based Committee Elections
(ILLC-MoL-2021-09)
Master of Logic, University of Amsterdam, 2021
(After graduation Jason worked as a data analyst for various companies.)
Oliviero Nardi (jointly supervised with Arthur Boixel)
A Graph-Based Algorithm for the Automated Justification of Collective Decisions
(thesis)
MSc AI, University of Amsterdam, 2021
(This work led to a paper at AAMAS-2022. Oliviero won the university-wide UvA Thesis Prize 2022. He is now a PhD student at TU Wien.)
Daan Le
A Game-theoretic Approach to the Card Game Toepen
(thesis)
MSc AI, University of Amsterdam, 2021
(After graduation Daan became a data scientist at Nolemmings.)
Rachael Colley
Guaranteeing Feasible Outcomes in Judgment Aggregation
(ILLC-MoL-2019-24)
Master of Logic, University of Amsterdam, 2019
(Rachael obtained her PhD from the University of Toulouse in 2023.)
Jacqueline Harding
Incorporating Preference Information into Formal Models of Transitive Proxy Voting
(ILLC-MoL-2019-22)
Master of Logic, University of Amsterdam, 2019
(This work led to a paper in Social Choice and Welfare. Jacq is now a PhD student at Stanford.)
Zoi Terzopoulou
Manipulating the Manipulators: Richer Models of Strategic Behavior in Judgment Aggregation
(ILLC-MoL-2017-05)
Master of Logic, University of Amsterdam, 2017
(This work led to papers at AAAI-2018, in Social Choice and Welfare, and in Theory and Decision. Zoi obtained her PhD from the ILLC in 2021.)
Arianna Novaro (carried out in Toulouse with main supervisors Umberto Grandi and Andreas Herzig)
Judgment Aggregation in Dynamic Logic of Propositional Assignments
(ILLC-MoL-2016-19)
Master of Logic, University of Amsterdam, 2016
(This work led to a paper in the Journal of Logic and Computation. Arianna obtained her PhD from the University of Toulouse in 2019.)
Sirin Botan (carried out in Toulouse with main supervisors Umberto Grandi and Laurent Perrussel)
Propositional Opinion Diffusion with Constraints
(ILLC-MoL-2016-08)
Master of Logic, University of Amsterdam, 2016
(This work led to a paper at AAMAS-2019. Sirin obtained her PhD from the ILLC in 2021.)
Roosmarijn Goldbach (jointly supervised with Alexandru Baltag)
Modelling Democratic Deliberation
(ILLC-MoL-2015-05)
Master of Logic, University of Amsterdam, 2015
(Roosmarijn won the university-wide UvA Thesis Prize 2015. After graduation she became a trainee at TNO.)
Justin Kruger
Actions in Social Choice
(ILLC-MoL-2014-18)
Master of Logic, University of Amsterdam, 2014
(Justin obtained his PhD from Paris-Dauphine University in 2019.)
Femke Bekius
The Iterative Minimum Cost Spanning Tree Problem
(ILLC-MoL-2013-09)
Master of Logic, University of Amsterdam, 2013
(Femke obtained her PhD from TU Delft in 2019.)
Justin Kruger and Ciyang Qing (jointly supervised with Raquel Fernández)
Collective Annotation
Coordinated Research Project for the Master of Logic, University of Amsterdam, June 2013
(This work led to papers at AAMAS-2014 and COLING-2014. Justin obtained his PhD from Paris-Dauphine University in 2019; Ciyang obtained his PhD from Stanford in 2021.)
Vahid Hashemi
Extracting Trends from Incomplete Ordinal Preferences
(ILLC-MoL-2012-14)
Master of Logic, University of Amsterdam, 2012
Annemieke Reijngoud
Voter Response to Iterated Poll Information
(ILLC-MoL-2011-19)
Master of Logic, University of Amsterdam, 2011
(This work led to a paper at AAMAS-2012. After graduation Annemieke became a consultant at McKinsey.)
Ilan Frank
Information and Representation in Computational Social Choice
(ILLC-MoL-2011-08)
Master of Logic, University of Amsterdam, 2011
(After graduation Ilan became a software engineer at Autodesk.)
Kian Mintz-Woo (jointly supervised with Daniele Porello)
Independence Weakening in Judgment Aggregation
(ILLC-MoL-2010-09)
Master of Logic, University of Amsterdam, 2010
(After further postgraduate studies at Reading and Oxford, Kian obtained his PhD from the University of Graz in 2018.)
Christian Geist
Automated Search for Impossibility Theorems in Choice Theory: Ranking Sets of Objects
(ILLC-MoL-2010-02)
Master of Logic, University of Amsterdam, 2010
(This work led to a paper in the Journal of Artificial Intelligence Research,
which later received the IJCAI-JAIR Best Paper Prize 2016.
Christian initially worked as a consultant for McKinsey and obtained his PhD from the TU Munich in 2016.)
Frank Nebel
Shortest Path Games: Computational Complexity of Solution Concepts
(ILLC-MoL-2010-01)
Master of Logic, University of Amsterdam, 2010
(This work led to a paper at Gamecomm-2011. Frank obtained his PhD from the University of Leicester in 2014.)
Sara Ramezani
Nash Social Welfare in Multiagent Resource Allocation
(ILLC-MoL-2008-09)
Master of Logic, University of Amsterdam, 2008
(This work led to a paper at AMEC-2009.
After graduation Sara started a PhD at the CWI in Amsterdam.)
Nadya Peek
Automatic Analysis of Voting Procedures
(thesis)
BSc AI (Honours), University of Amsterdam, 2008
(Nadya obtained her PhD from MIT in 2016.)
Szymon Klarman
ABox Abduction in Description Logic
(ILLC-MoL-2008-03)
Master of Logic, University of Amsterdam, 2008
(This work led to a paper in the Journal of Automated Reasoning.
Szymon obtained his PhD from the VU in Amsterdam in 2013.)
Brammert Ottens (jointly supervised with Krzysztof Apt)
Comparing Winner Determination Algorithms for Mixed Multi-Unit Combinatorial Auctions
(ILLC-MoL-2007-17)
Master of Logic, University of Amsterdam, 2007
(This work led to a paper at AAMAS-2008.
Brammert obtained his PhD from the EPFL in Lausanne in 2012.)
Lena Kurzen (jointly supervised with Eric Pacuit)
Logics for Cooperation, Actions and Preferences
(ILLC-MoL-2007-18)
Master of Logic, University of Amsterdam, 2007
(This work led to a paper in Synthese. Lena obtained their PhD from the ILLC in 2011.)
Hylke Buisman, Gijs Kruitbosch and Nadya Peek
Towards a Simulation Platform for Distributed Multiagent Resource Allocation
BSc Honours Project in Artificial Intelligence, University of Amsterdam, 2006/7
(This work led to papers at ESAW-2007 and the NSVKI Student Conference 2007. Hylke, Gijs, and Nadya later went to Stanford, Imperial College London, and MIT, respectively.)
Markos Hatzitaskos (main supervisor: Fariba Sadri)
Extending the CIFF Proof Procedure with Negation as Failure and
Implementing Part of a Multi-stage Negotiation Architecture for
Sharing Resources amongst Logic-based Agents
MSc Advanced Computing, Imperial College London, 2004
(This work led to an abstract presented at ARW-2005.)
Shima Izadkhah (jointly supervised with Stefan Schlobach)
Querying Databases Using Description-Logical Methods (The Movie Database Project)
BSc Computer Science, King's College London, 2001
Jane Yeap (jointly supervised with Stefan Schlobach)
An Interactive Learning Environment for Modal Logics (The London Tube Map Project)
BSc Computer Science, King's College London, 2001