Je suis maître de conférences à l’Université Grenoble Alpes et au Laboratoire d’informatique de Grenoble.
Recherche
Je suis membre de l’équipe MeTAH du LIG. Mes centres d’intérêt scientifiques incluent:
- la didactique de l’informatique et de la logique
- la correspondance preuves/programmes et ses prolongements et applications
Enseignement
Ça se passe dans le cadre de l’Inspé, principalement en master MEEF.
Autres
- Diffusion, à l’IREM et autour
- Programmes et autres productions informatiques