Accueil
Bonjour ! Je suis doctorant au sein de l'équipe Logique de l'IMJ-PRG, sous la direction d'Arnaud Durand. Je suis également encadré par Luc Segoufin, dans l'équipe VALDA de l'Inria.
Mon champ de recherche est la Complexité descriptive, c'est à dire l'étude des classes de complexité au travers de la théorie des modèles finis. Très brièvement, on cherche à établir des équivalences entre décidabilité d'un problème dans une classe, et définissabilité dans une logique bien choisie (en générale un fragment de la logique du second ordre).
Je suis aussi très intéressé par la place que prend l'informatique dans notre société. Pour plus d'informations à ce sujet, vous pouvez jeter un œil à mon blog.