معرفی
Anatole Dahan is a Researcher in the Department of Computer Science and Technology at the University of Cambridge. He holds a PhD from Université Paris-Cité and currently works under the supervision of Professor Anuj Dawar. His research focuses on the intersection of logic and group theory, particularly in fixed-point logic and permutation groups, with applications to representing complex structures in computer science.
Education:
- PhD in Theoretical Computer Science, Université Paris-Cité (2025)
Research Interests: Anatole's work centers on descriptive complexity, exploring how logical frameworks can model and analyze permutation groups and their computational properties. His contributions include developing new operators for fixed-point logic to reason about permutation groups and advancing relativization techniques in computational logic. These efforts bridge abstract algebra and theoretical computer science, with implications for algorithm design and formal verification.
Advising & Grants: No formal advisees or grants listed.
