Martin Bodin — Page principale

Martin Bodin — Ĉefpaĝo

Martin Bodin — Home

Je suis Martin Bodin /maʁtɛ̃ bodɛ̃/, post-doctorant au CMM, à Santiago, Chile.

Mi estas Martin Bodin /maʁtɛ̃ bodɛ̃/, postdoktorulo ĉe CMM, en Santiago, Ĉilio.

I am Martin Bodin /maʁtɛ̃ bodɛ̃/, postdoc at the CMM, in Santiago de Chile.

Je suis actuellement en train de formaliser le langage de programmation R dans l’assistant de preuve Coq.

Mi nun estas formaliganta la R programlingvaĵon en la Coq pruvilo.

I am currently working on formalising the R programming language in the Coq proof assistant.

Mon contrat actuel se terminera bientôt. Si vous êtes intéressés par travailler avec moi, contactez-moi.

Mia nuna kontrakto relative baldaŭ finiĝos. Se interesigus vin labori kun mi, bonvolu kontaktu min.

My current contract will end relatively soon. If you are interested in working with me, please contact me.

J’ai fait mon doctorat à INRIA de Rennes sous la supervision d’Alan Schmitt et de Thomas Jensen. Je travaillais alors sur l’analyse formelle du langage de programmation JavaScript. Plus d’informations peuvent se trouver sur mon guide de thèse.

Mi doktoriĝis ĉe INRIA Rennes superrigardite de Alan Schmitt kaj Thomas Jensen. Mi tiam laboris pri formala analizo de la Javaskripta programlingvaĵo. Pli da informoj troviĝas en mia kundoktoriĝdokumento.

I did my PhD at INRIA Rennes under the supervision of Alan Schmitt and Thomas Jensen. I then worked on formal analysis of the JavaScript programming language. More information can be found in my thesis companion.

Ce site est aussi disponible en espéranto et en anglais.

Tiu ĉi retejo ankaŭ disponeblas angle kaj france.

This website is also available in Esperanto and French.

Martin.

Martin.

Martin.

Position actuelle
Post-doctorant au CMM, à Santiago, Chile.
Adresse
Bureau 718, Beauchef 851, Edificio Norte – Piso 7, Santiago, Chili
Téléphone
+56 2 2978 4463
CV
Disponible ici
Clefs publiques
Présence sur Internet
Nuna pozicio
Postdoktorulo ĉe CMM, en Santiago, Ĉilio.
Adreso
Oficejo 718, Beauchef 851, Edificio Norte – Piso 7, Santiago, Ĉilio
Telefono
+56 2 2978 4463
Vivresumo
Havebla tie ĉi
Publikaj ŝlosiloj
Interreta ĉeesto
Current position
Postdoc at the CMM, in Santiago de Chile.
Address
Office 718, Beauchef 851, Edificio Norte – Piso 7, Santiago, Chile
Phone number
+56 2 2978 4463
CV
Available there
Public keys
Internet presence

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

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

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