À propos de moi

Salut salut !

Je m'appelle Werner Mérian (prononcé [vɛʁnɛʁ meʁiã]🔊Écouter), et je suis doctorant en 1ère 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.