À propos de moi

Je m'appelle Werner Mérian (prononcé [vɛʁnɛʁ meʁiã]🔊Écouter), et je suis actuellement doctorant en 2ème année au sein de l'équipe de logique mathématique à l'IMJ-PRG (Université Paris Cité), sous la direction d'Arnaud Durand et de Yann Strozecki.

Mes recherches portent sur les interactions entre la théorie des modèles finis et la complexité descriptive. Je suis particulièrement passionné par des sujets tels que les jeux d'Ehrenfeucht-Fraïssé généralisés et les logiques d'ordre supérieur, qui offrent des outils puissants pour comprendre les propriétés algorithmiques et structurelles des systèmes logiques.

Auparavant, j'étais étudiant au Master de Logique Mathématique et Fondements de l'Informatique (LMFI) à l'Université Paris Cité. Et encore avant cela, j'étais étudiant à l'École Normale Supérieure de Lyon, au département d'informatique.