De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen

De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen
Nl En

Winners 2025


 

  1. Lingyuan Ye (Amsterdam, Master of Logic). Supervisor: Benno van den Berg. Thesis title: "Algebraic Monoidal Model Categories and Path Category Structures for Effective Kan Fibrations".
  2. Andreea Minculescu (Groningen, Masters in AI). Supervisors: Rineke Verbrugge, Harmen de Weerd and Jakob Dirk Top. Thesis title: "Cutting Cheryl's Birthday cake: Modeling theory of mind orders in public announcement logic".



VvL Master's Thesis Award Committee 2025:

Eric Pacuit (Chair, University of Maryland)

Zoé Christoff (University of Groningen)

Vlasta Sikimić (TU Eindhoven)

Fan Yang (Utrecht University)

 

 

Winners 2024


 

  1. Aude Corbeel (University of Amsterdam, Master's in Theoretical Physics). Supervisors: Sebastian de Haro Ollé and Erik Verlinde. Thesis title: "AdS/CFT Duality: Insights from Quantum Information Theory (A Conceptual Clarification)".
  2. Sterre Lutz (Utrecht University, Master's in AI). Supervisors: Nima Motamed and Dragan Doder. Thesis title: "r-PLBP: Temporal Logic for Reasoning about Safety and Rewards of Bounded Policies under Uncertainty".
  3. Ruben Mud (University of Groningen, Master of Mathematics). Supervisor: Oliver Lorscheid. Thesis title: "Topics in Betweenness and Enriched Categories".
  4. Valentin Müller (University of Amsterdam, Master of Logic). Supervisors: Marianna Girlando and Benno van den Berg. Thesis title: "On the proof theory of inquisitive logic".

 

VvL Master’s thesis award committee 2024:

Sara Uckelman (Chair, University of Durham)
Levin Hornischer (LMU Munich)
Eric Pacuit (University of Maryland)
Vlasta Sikimić (TU Eindhoven)
Fan Yang (Utrecht University)

 

Winners 2023


 

  1. Rodrigo Almeida (UvA, supervised by Nick Bezhanishvili & Tommaso Moraschini). Thesis title: Polyatomic Logics and Generalised Blok-Esakia Theory with Applications to Orthologic and KTB.

  2. Søren Brinck Knudstorp (UvA, supervised by Johan van Benthem & Nick Bezhanishvili). Thesis title: Modal Information Logics.

  3. Raoul Koudijs (UvA, supervised by Balder ten Cate). Thesis title: Learning Modal Formulas via Dualities.

 

VvL Master’s thesis award committee 2023:

Sara Uckelman (Chair, University of Durham)
Davide Grossi (University of Groningen/University of Amsterdam)
Leah Henderson (University of Groningen)
Eric Pacuit (University of Maryland)
Fan Yang (Utrecht University)

 

Winners 2022


 

  1. Anna Dmitrieva (UvA, supervised by Nick Bezhanishvili & Tommaso Moraschini). Thesis title: Positive Modal Logic Beyond Distributivity: Duality, Preservation and Completeness.
  2. Maximilian Siemers (UvA, supervised by Aybüke Özgün). Thesis title: Hyperintensional Logics for Evidence, Knowledge and Belief.
  3. Dominik Wehr (UvA, supervised by Bahareh Afshari). Thesis title: An Abstract Framework for the Analysis of Cyclic Derivations.

 

thesisprize

 

VvL Master’s thesis award committee 2022:

Valeria de Paiva (Chair, Topos Institute, Berkeley)
Jan Broersen (Utrecht University)
Balder ten Cate (University of Amsterdam)
Davide Grossi (University of Groningen/University of Amsterdam)
Leah Henderson (University of Groningen)
Sara Uckelman (University of Durham)