| CARVIEW |
I am a full professor in computer science at the Formal Methods lab and the Computer Science department of ENS Paris-Saclay. Before that, I was an associate professor at IRIF and the CS department of Université Paris Cité, and before that, I did five years of post-docs in Bern, Milan, New York, Amsterdam, and Utrecht, and four years of PhD in Nijmegen, advised by Mai Gehrke.
News
- Submissions are open for TACL 2026! Deadline: 23 February 2026.
- December 2025: Here is the final draft of my chapter on Uniform Interpolation for a new handbook-style volume on Theory and Applications of Craig Interpolation, to appear early 2026.
- August 2025: A new preprint Toposes with enough points as categories of étale spaces, joint with Jérémie Marquès and Umberto Tarantino.
Older news
- April 2025: Our paper Learning Weighted Automata over Number Rings, Concretely and Categorically, joint with Quentin Aristote, Daniela Petrişan, and Mahsa Shirmohammadi, was accepted for publication in LICS 2025.
- December 2024: I defended my Habilitation à Diriger des Recherches (HDR) on December 6th, 2024. More information.
- July 2024: Our IJCAR 2024 paper on uniform interpolation, joint with Hugo Férée, Iris van der Giessen, and Ian Shillito, won a best paper award.
- March 2024: The book Topological Duality for Distributive Lattices: Theory and Applications, which I wrote together with Mai Gehrke, is published in its online edition by Cambridge University Press, with print copies available starting April. If you want to “try before you buy”, an older, pre-print version is available on ArXiv. (Caution: the ArXiv version is out of date and contains some errors that were corrected in the published version.)
- In February 2024, we released a Uniform Interpolation Calculator, which lets you compute uniform interpolants in a number of intuitionistic and modal logics. It is based on our verified Coq implementation of the underlying theorems. It’s a demo, any feedback on how this can be made more useful for research is welcome! Joint work with Hugo Férée, Iris van der Giessen, and Ian Shillito.
- Starting January 2024, I am managing a 4-year research project titled Topology for Types and Terms, funded by the French National Research Agency (ANR) under the Young Researcher (JCJC) scheme.
- December 2023: our paper Deciding Equations in the Time Warp Algebra, with Adrien Guatto, George Metcalfe, and Simon Santschi, was accepted for publication in Logical Methods in Computer Science.
- November 2023: our paper On duality and model theory for polyadic spaces, with Jérémie Marquès, was accepted for publication in Annals of Pure and Applied Logic.
Publications
Book
Topological duality for distributive lattices: Theory and applications
Cambridge tracts in theoretical computer science, Cambridge University Press (2024)
Book Chapter
Uniform interpolation
Theory and Applications of Craig Interpolation (2026)
Conferences
Learning weighted automata over number rings, concretely and categorically
LICS: Logic in Computer Science (2025)
Formulas rewritten and normalized computationally, and intuitionistically simplified
36es Journées Francophones des Langages Applicatifs (JFLA) (2025)
Mechanised uniform interpolation for K, GL, and iSL
IJCAR: International Joint Conference on Automated Reasoning (2024)
Modal unification step by step
UNIF: 37th international workshop on Unification (2023)
Profinite lambda-terms and parametricity
MFPS: Mathematical Foundations of Programming Semantics (2023)
Formalizing and computing propositional quantifiers
CPP: Certified proofs and programs (2023)
First-order separation over countable ordinals
FoSSaCS: Foundations of software science and computation structures (2022)
Time warps, from algebra to algorithms
RAMiCS: Relational and algebraic methods in computer science (2021)
Pro-aperiodic monoids via saturated models
STACS: Symposium on theoretical aspects of computer science (2017)
Monadic second order logic as the model companion of temporal logic
LICS: Logic in computer science (2016)
Duality and universal models for the meet-implication fragment of IPC
TbiLLC: Tbilisi symposium on Language, Logic and Computation (2015)
Free algebras for Gödel-Löb provability logic
Advances in modal logic (2014)
Disjunctive questions, intonation and highlighting
Logic, language and meaning (2010)
Journals
Deciding equations in the time warp algebra
Logical Methods in Computer Science (2024)
On duality and model theory for polyadic spaces
Annals of Pure and Applied Logic (2024)
Priestley duality for MV algebras and beyond
Forum Mathematicum (2021)
Pointlike sets for varieties determined by groups
Advances in Mathematics (2019)
Pro-aperiodic monoids via saturated models
Israel Journal of Mathematics (2019)
Merge decompositions, two-sided krohn-rhodes, and aperiodic pointlikes
Canadian Mathematical Bulletin (2019)
An open mapping theorem for finitely copresented esakia spaces
Topology and its Applications (2018)
Sheaves and duality
Journal of Pure and Applied Algebra (2018)
A model-theoretic characterization of monadic second-order logic on infinite words
Journal of Symbolic Logic (2017)
Uniform interpolation and compact congruences
Annals of Pure and Applied Logic (2017)
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
Journal of Algebra (2014)
Distributive envelopes and topological duality for lattices via canonical extensions
Order (2013)
A non-commutative priestley duality
Topology and its Applications (2013)
On generalizing free algebras for a functor
Journal of Logic and Computation (2013)
Duality and canonical extensions for stably compact spaces
Topology and its Applications (2012)
Drafts
Toposes with enough points as categories of étale spaces
Submitted (2025)
Notes
Automata, monoids, and logic
Lecture notes (2022)
Proaperiodic monoids via prime models
Research note (2019)
An interpolant in predicate Gödel logic
Research note (2018)
Theses
Logical reflections – Profinite monoids, propositional quantifiers, and temporal operators
Habilitation à diriger des recherches, Université Paris Cité (2024)
On sheaves and duality
PhD thesis, Radboud Universiteit Nijmegen (2014)
Teaching
Python and object-oriented programming, M2 preparation francilienne for the agrégation informatique.
Initiation to Research, M1 informatique.
Responsible for the ARPE exchange year in informatique.
Supervision of individual projects. I am always happy to discuss individual projects with prospective students; you can send me an e-mail.
Collaborations
As research advisor
Postdocs
Joshua Wrigley, Jan-Dec 2025.
Jérémie Marquès, Sep 2023-Aug 2024.
PhD students
Timothée Huneau, co-advised with Yannick Forster and Dominik Kirst, since Oct 2025.
Killian Barbé, co-advised with Daniela Petrişan, since Sep 2025.
Umberto Tarantino, since Oct 2024.
Vincent Moreau, co-advised with Paul-André Melliès, graduated 2025.
Mehdi Zaïdi, co-advised with Mai Gehrke, graduated 2022.
Luca Reggio, co-advised with Mai Gehrke and Daniela Petrisan, graduated 2018.
Master students
Stefanos Jones, LMFI, Apr-Jul 2025.
Artur Szafarczyk, LMFI, Apr-Aug 2024, co-advised with Jérémie Marquès.
Clotilde Bizière, MPRI, Sep 2023-Feb 2024, co-advised with Marie Fortin.
Anatole Leterrier, MPRI, 2022.
Rémi Morvan, MPRI, 2021, co-advised with Thomas Colcombet.
Vincent Moreau, MPRI, 2021, co-advised with Paul-André Melliès.
Thomas Randriamahazaka, LMFI, 2020.
Corto Mascle, MPRI, 2020, co-advised with Thomas Colcombet.
Chase Ford, MSc Logic Amsterdam, 2019, co-advised with Yde Venema.
Other collaborations
Yannick Forster (Paris), Dominik Kirst (Paris), Michelle Sweering (Amsterdam), Iris van der Giessen (Birmingham), Ian Shillito (Canberra), 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 (Milan), 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).
Service
Program committees
- Topology, Algebra, and Categories in Logic (TACL) 2026
- Symposium on Theoretical Aspects of Computer Science (STACS) 2026
- Workshop on Logic, Language, Information and Computation (WoLLIC) 2025
- UNIF 2026
Previous PC's
Other responsibilities
Member of the equalities committee of IRIF, 2021-2025.
Elected member of the conseil scientifique of the UFR d’informatique, Université Paris Cité, 2025.
Links
Ten lessons I wish I had been taught, advice for young mathematicians from Gian-Carlo Rota.
Interview with Mai Gehrke at CIRM, and her public lecture on Duality.
So, you think you’re bad at math…, a pep talk by Courtney Gibbons.
Changing the narratives in mathematics, an essay by Simone Ramello.