Je suis membre de l’équipe Spades, à Grenoble, à l’Inria.

I am a member of the Spades team, in Grenoble, at Inria.

Mi estas skipano de Spades, en Grenoblo, ĉe Inria.

Je travaille actuellement avec l’IREMI dans le cadre du projet LiberAbaci. Le projet consiste à comprendre comment concevoir des cours de mathématiques incluant des TPs Coq/Rocq, en partenariat avec des professeurs de mathématiques, le tout dans un cursus mathématique (et non informatique).

I currently work with the IREMI within the LiberAbaci project. The goal is to understand how to design mathematics courses including Coq/Rocq-based tutoriels, by working with mathematics teachers, for mathematics students (and not computer sciences’s).

Mi nuntempe laboras kun la IREMI pere de la projekto LiberAbaci. La celo de tiu projekto temas pri kompreni kiel krei matematikajn kursojn parte-bazitaj en Coq/Rocq, laborante kun matematikaj instruistoj, kaj celante matematikajn studentojn (kaj ne komputikajn).

Cette page liste mes publications. Vous pouvez aussi consulter mon profil Orcid, DBLP, ou Google Scholar.

This page lists my publications. You can also check my Orcid, DBLP, or Google Scholar profile.

Ĉi tiu paĝo listas miajn eldonaĵojn. Vi ankaŭ povas kontroli miajn profilojn ĉe Orcid, DBLP, aŭ Google Scholar.