About me

My name is Werner Mérian (pronounced [vɛʁnɛʁ meʁiã]🔊Listen), and I am a second-year PhD student within the mathematical logic team at the IMJ-PRG (Paris Cité University, France), under the supervision of Arnaud Durand and Yann Strozecki.

My research focuses on the interactions between finite model theory and descriptive complexity. I am particularly fascinated by topics such as generalized Ehrenfeucht-Fraïssé games and higher-order logics, which provide powerful tools for understanding computational and structural properties of logical systems.

Previously, I was a student in the Master's program in Mathematical Logic and Foundations of Computer Science (LMFI) at the Université Paris Cité. And before that, I was a student at the École Normale Supérieure de Lyon, in the computer science department.