About me

I have been a professor at Université Paris Cité since 2005.

I obtained my PhD degree in 1996 at the University of Caen under the supervision of Étienne Grandjean. Along the years, I have had positions in various institutions: Università di Pisa (Postdoc 1997-1998), Université Nancy 2 (temporary researcher, 1998), Université Paris-Est Créteil - IUT of Fontainebleau (Associate Professor, 1999-2005), Université Paris Dauphine (2002-2004, CNRS Délégation), ENS Cachan (2013-2014, CNRS Délégation)

Research thematics

My research activity is at the interface between mathematics and computer science, particularly in logic and theoretical computer science. Over the years, I have been interested by various areas such as

  • Structural and computational complexity, in particular on counting and enumeration problems but also the connexion between recursion theory, discrete differential equations and complexity
  • Descriptive complexity and finite model theory
  • Database theory and the complexity of query problems
  • Team semantics
  • Some structural aspects of graphs and hypergraphs

Main recent responsabilities

  • Currently Head of the mathematical logic team in the IMJ-PRG lab.
  • Responsible of the double major Bachelor (Licence, in french) program METIS “algorithms and decision”, an interdisciplinary degree designed to train students in both mathematics and the humanities and social sciences (political science, economics, sociology, history, etc.), in partnership with Sciences Po.
  • Dean of the department of mathematics (UFR de mathématiques) of Université Paris Cité from 2017 to 2022.
  • Head of the Master program “Mathematical Logic and Foundation of Computer Science” from 2014 to 2017
  • Involved in the management of the GDR Informatique-Mathématiques from its creation in 2006 to 2017 (deputy director from 2010 to 2017)

Service

PhD Students

Current and recent grants

  • ANR \(\delta\)ifférence (2020-2026)
  • Magnus Ehrnrooth project Caracal (2025-2027)
  • Maupertuis grant (2024 and 2025)