About me

Hello hello!

My name is Werner Mérian (pronounced [vɛʁnɛʁ meʁiã]🔊Listen), and I am a first-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.