bodin.md

firstname: Martin
lastname: Bodin
position: Researcher
webpage: https://mbodin.github.io/index.html?lang=en&pedanticJS=no#en
email: mbodin@ic.ac.uk
github:
alumnus: true
projects:
  - web

Martin joined the group as a Research Associate in 2018. His work focused on a formalism called skeletons to represent the semantics of real-world programming languages (JavaScript, R, etc.) He also was part of the team working on the formalisation of WebAssembly/Wasm in Coq. In 2020 Martin was appointed CRCN (chargé de recherche de classe normale) in the Sound Programming of Adaptive Dependable Embedded Systems (Spades) group at Inria Grenoble-Rhône-Alpes Research Centre, France.