Martin Bodin — Travaux de recherche

Martin Bodin — Research

Martin Bodin — Esplorado

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.

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.


Publications

Publications

Eldonaĵoj


Colloques

Workshops

Babilkongresoj

Séminaire de l’IREM 2022

Martin Bodin, Les Assistants de preuve : l’exemple de Coq, Séminaire de l’IREM, 2022.


Thèse

Thesis

Doktoriĝo


Autres

Miscellaneous

Aliaĵoj

Qualification

Ceci est le dossier que j’ai monté pour la qualification aux postes d’enseignents-checheurs aux CNRS.

Qualification

This is the document that I prepared for the French “qualification” for the CNRS.

Qualification

Tio estas la dokumentaro kiun mi preparis por la franca “qualification”, por la CNRS.

Vidéo de vulgarisation

Vidéo en espéranto sur une présentation générale de ma recherche.

Popular Science Video

Small video in Esperanto to present my field of research.

Populariga filmeto

Esperanta filmeto kiu prezentas mian esploradan temon.


Site conçu par Martin Bodin. En cas de problème avec ce site, n’hésitez pas à me contacter.

Website created by Martin Bodin. In case of issues with this website, do not hesitate to contact me.

Retejo kreita per Martin Bodin. Se vi renkontas ian ajn problemon kun ĝi, bonvolu kontakti min.

Dernière mise à jour le 2023-01-19

Last update the 2023-01-19

Laste ŝanĝita je la 2023-01-19