Martin Bodin — Page personnelle

Martin Bodin — Home

Martin Bodin — Ĉefpaĝo

Me — Moi — Mi

Je suis doctorant à l’INRIA de Rennes sous la supervision d’Alan Schmitt et de Thomas Jensen. Je travaille sur des analyses formelles de JavaScript.

I am a PhD student at INRIA Rennes under the supervision of Alan Schmitt and Thomas Jensen. I work on formal analysis of JavaScript.

Mi estas doktoriĝanto ĉe INRIA Rennes superrigardate de Alan Schmitt kaj Thomas Jensen. Mi laboras pri formalaj analizoj de Javaskripto.

Ce site est aussi disponible en Espéranto et en Anglais.

This website is also available in Esperanto and French.

Tiu ĉi retejo ankaŭ disponeblas angle kaj france.

Martin.

Martin.

Martin.

Position actuelle
Doctorant à l’IRISA, Rennes sous la tutelle d’Alan Schmitt et de Thomas Jensen.
Équipe
Celtique
Adresse
Bureau F213, Campus de Beaulieu, 263 avenue du général Leclerc — Bâtiment 12, 35 042 Rennes cedex
Téléphone
02 99 84 22 51
CV
Disponible ici
Clef publique
Disponible ici
D’autres pages me concernant
Current position
Ph.D. student at IRISA, Rennes under the supervision of Alan Schmitt and Thomas Jensen.
Team
Celtique
Address
Bureau F213, Campus de Beaulieu, 263 avenue du général Leclerc — Bâtiment 12, 35 042 Rennes cedex, France
Phone number
+33 2 99 84 22 51
CV
Available there
Public key
Available there
Other pages about me
Nuna pozicio
Doctorado studento en la IRISA, Rennes superrigardate de Alan Schmitt kaj Thomas Jensen.
Skipo
Celtique
Adreso
Bureau F213, Campus de Beaulieu, 263 avenue du général Leclerc — Bâtiment 12, 35 042 Rennes cedex, Francio
Telefono
+33 2 99 84 22 51
Vivresumo
Havebla tie ĉi
Publika ŝlosilo
Havebla tie ĉi
Aliaj paĝoj pri mi

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.