Anatole Dahan

Research Assistant · Department of Computer Science and Technology

University of Cambridge · United Kingdom

logicgroup theoryfixed-point logicpermutation groups

简介

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.

代表成果

Relativization of gurevich’s conjectures

数据校验于 9/6/2026数据来源

学生评价

还没有评价。成为第一位分享经验的学生吧。