Accueil

Welcome on my professional home page. My name is Pierre Boudes. Holding a phD in maths since 2002, I am maître de conférences in computer science at Paris 13 university, since september 2005.

More precisely, I am :
– Researcher in proof theory and theory of programming at the computer science lab of Paris nord university (Laboratoire d’informatique de Paris nord, LIPN), UMR CNRS 7030.
– Teacher (and sometimes a kind of administrative) at the institut Galilée.

I usually reply within one day to (well-formed) emails addressed to boudes@univ-paris13.fr. You can also contact me by other means. I have reduced my presence on the Fediverse to two Mastodon accounts:
– professional
– personal.