Martin Bodin — Ĉefpaĝo

Martin Bodin — Home

Martin Bodin — Page principale

Me — Moi — Mi

Mi estas Martin Bodin1 /maʁtɛ̃ bodɛ̃/, postdoktorulo ĉe Imperial College, en Londono, je la esplorada grupo Verified Trustworthy Software Specification.

I am Martin Bodin1 /maʁtɛ̃ bodɛ̃/, postdoc at the Imperial College, in London, in the Verified Trustworthy Software Specification research group.

Je suis Martin Bodin1 /maʁtɛ̃ bodɛ̃/, post-doctorant au Imperial College, à Londres, dans le groupe de recherche Verified Trustworthy Software Specification.

Mi nun laboras pri formalismo (kiu nomiĝas ostaron) por reprezenti la semantikon de vervivaj programlingvaĵoj, kaj ricevi la plej multe da ecoj pruvitaj en la Coq pruvilo.

I am currently working on a formalism called skeletons to represent the semantics of real-world language, and get as much properties as possible certified in the Coq proof assistant.

Je travaille actuellement sur un formalisme appelé squelette représentant la sémantique de langages de programmation complexes, tout en obtenant autant de propriétés que possibles certifiées dans l’assistant de preuve Coq.

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.

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.

Tiu ĉi retejo ankaŭ disponeblas angle kaj france.

This website is also available in Esperanto and French.

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

1 Ankaŭ Martin Constantino–Bodin.

1 Also Martin Constantino–Bodin.

1 Ou Martin Constantino–Bodin.

Martin.

Martin.

Martin.

Nuna pozicio
Postdoktorulo ĉe Imperial College, en Londono.
Vivresumo
Havebla tie ĉi
Publikaj ŝlosiloj
Interreta ĉeesto
Current position
Postdoc at the Imperial College, in London.
CV
Available there
Public keys
Internet presence
Position actuelle
Post-doctorant au Imperial College, à Londres.
CV
Disponible ici
Clefs publiques
Présence sur Internet

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.

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