Student Supervision

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:

• 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

• Pauline Baanders
  Nash Social Welfare in Judgement Aggregation: Introducing the Kemeny-Nash Rule (thesis)
  MSc AI, University of Amsterdam, 2023

• 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

• 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 2019.)

• 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.)

• Boas Kluiving, Adriaan de Vries, and Pepijn Vrijbergen (jointly supervised with Arthur Boixel)
  Advanced Topics in Computational Social Choice
  Coordinated Research Project for the Master of Logic, University of Amsterdam, June 2019
  (This work led to a paper at ECAI-2020.)

• 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 the 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 her 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