Je suis membre de l’équipe Gallinette, à Nantes, à l’Inria.

Mi estas skipano de Gallinette, en Nanto, ĉe Inria.

I am a member of the Gallinette team, in Nantes, at 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).

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 m'intéresse aussi aux communs numériques, en particulier OpenStreetMap. Ces projets ont la particularité d'avoir un fonctionnement très différent d'une spécification suivie d'une implémentation et pourraient donc sembler peu propices aux méthodes formelles. J'aimerais comprendre comment appliquer les méthodes formelles sur ces projets d'une manière qui a du sens pour leurs communautés.

Mi ankaŭ interesiĝas pri ciferaj komunaj bonoj, specife OpenStreetMap. Tiaj projektoj funkcias malsame ol la kutima specifo kaj ties enkodiĝo, kaj tial povas ŝajni malĝustan celon por formalajn metodojn. Mi ŝatus kompreni kial apliki formalajn metodojn al tiaj projektoj, tiamaniere kiu taŭgus por ties komunumoj.

I'm also interested in digital commons, in particular OpenStreetMap. Such projects works differently from the usual specification followed an implementation, and could thus seem a poor target for formal methods. I would like to understand how to use formal methods on such project nevertheless, and in a way that makes sense for their respective communities.

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

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