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

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

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

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

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

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

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.

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