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

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

Je suis membre de l’équipe Spades, à Grenoble, à l’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).

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

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 tiu paĝo listas miajn eldonaĵojn. Vi ankaŭ povas kontroli miajn profilojn ĉe Orcid, DBLP, aŭ Google Scholar.

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

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