Anatole Dahan

Research Assistant at University of Cambridge

mail: first.last@cl.cam.ac.uk

I am a Research Assistant in theoretical computer science and mathematics, specialized in descriptive complexity. I hold a PhD from the Université Paris-Cité

My research focuses on the intersection of logic and group theory, particularly in the context of fixed-point logic and permutation groups. I am interested in how these areas can be used to represent and reason about complex structures in computer science.

PhD Thesis

During my PhD, I studied ways to represent permutation groups within fixed-point logic, and introduced a new operator for reasoning about these groups. You can find the manuscript here.

The defense of my thesis took place on July 1st 2025 in Paris. The slides of my presentation can be found here.

Conferences & Presentations

LICS 2025, Singapore, Group Order Logic - Slides
FMT '25, Les Houches, Representations of permutation groups in Fixed-point logic - Slides

Publications

Group Order Logic, A. Dahan, LICS 2025 - arXiv version
Relativization of Gurevich's Conjectures, A. Dahan & A. Dawar, Yurifest 2020 - arXiv version