Anatole Dahan

Research Assistant · Department of Computer Science and Technology

University of Cambridge · United Kingdom

logicgroup theoryfixed-point logicpermutation groups

About

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

Selected publications

Relativization of gurevich’s conjectures

Data verified 9/6/2026Source

Student reviews

No reviews yet. Be the first to share your experience.