Anatole Dahan

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.