Je ne suis plus membre de l’I2M, je suis maintenant au Laboratoire d’informatique de Grenoble.
Jusqu’en septembre 2020, j’étais maître de conférences en mathématiques à l’Université d’Aix-Marseille et l’Institut de Mathématiques de Marseille. Parmi mes activités:
- Enseignement, principalement au département de mathématiques
- Recherche, dans l’équipe Logique de la programmation
- Diffusion, à l’IREM et autour
- Programmes et autres productions informatiques