photo of Sam in 2023

News

Publications


    Teaching

    2024-2025

    Supervision of individual projects. I am always happy to discuss individual projects with prospective students; you can send me an e-mail.

    Teaching archive...

    Talks and events

    More...

    Collaborations

    Students

    • Vincent Moreau, PhD, IRIF, ongoing, co-advised with Paul-André Melliès.
    • Mehdi Zaïdi, PhD, U. Nice, 2022, co-advised with Mai Gehrke.
    • Luca Reggio, PhD, IRIF, 2018, co-advised with Mai Gehrke and Daniela Petrisan.
    • Artur Szafarczyk, Master, IRIF, Apr-Aug 2024, co-advised with Jérémie Marquès.
    • Clotilde Bizière, Master, IRIF, Sep 2023-Feb 2024, co-advised with Marie Fortin.
    • Anatole Leterrier, Master MPRI, 2022.
    • Rémi Morvan, MPRI, 2021, co-advised with Thomas Colcombet.
    • Thomas Randriamahazaka, Master LMFI, 2020.
    • Corto Mascle, MPRI, 2020, co-advised with Thomas Colcombet.
    • Chase Ford, MSc Logic Amsterdam, 2019, co-advised with Yde Venema.

    Other Collaborations

    Michelle Sweering (Amsterdam), Iris van der Giessen (Birmingham), Ian Shillito (Canberra), Jérémie Marquès (Nice), Johannes Marti (Zürich), Adrien Guatto (Paris), Hugo Férée (Paris), Thomas Colcombet (Paris), Wesley Fussner (Nice), Axel Osmond (Paris), Denis Kuperberg (Lyon), Rosalie Iemhoff (Utrecht), Yde Venema (Amsterdam), Benjamin Steinberg (New York), Luca Reggio (Oxford), Silvio Ghilardi (Milan), Costas Tsinakis (Nashville), George Metcalfe (Bern), Daniela Petrisan (Paris), Paul-André Melliès (Paris), Andrej Bauer (Ljubljana), Karin Cvetko Vah (Ljubljana), Ganna Kudryavtseva (Ljubljana), Vincenzo Marra (Milan), Dick de Jongh (Amsterdam), Nick Bezhanishvili (Amsterdam), Dion Coumans (Nijmegen), Mai Gehrke (Nice, PhD advisor), Alessandra Palmigiano (Amsterdam, MSc advisor), Floris Roelofsen (Amsterdam).

    Workshops and working groups

    Service

    Member of the equalities committee of IRIF.

    Responsible for international relations (student and staff exchanges) at the UFR informatique.

    Program committees: Highlights 2024, UNIF 2024, CSL 2024, RAMiCS 2023, AiML 2022, RAMiCS 2021.

    Reviewer for open-access journals and conferences, PhD theses, and grant proposals.

    Links