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

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

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

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).

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).

Ĉ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.

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