Skip to content
Snippets Groups Projects
Commit 25b2ce2d authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update bodin.md

parent 630d6111
No related branches found
No related tags found
No related merge requests found
......@@ -9,8 +9,4 @@ alumnus: true
projects:
- web
---
Martin joined the group as a Research Associate in 2018. His work focused on a formalism called skeletons used to represent the semantics of real-world language, in order to get as many properties as possible [certified in the Coq
proof assistant](https://coq.inria.fr). He also was part of the team working on the
[formalisation of WebAssembly/Wasm in Coq](https://github.com/Imperial-Wasm/wasm-coq-public).
In 2020 Martin was appointed CRCN (chargé de recherche de classe normale) in the [Sound Programming of Adaptive Dependable Embedded Systems (Spades)](https://team.inria.fr/spades/) group at [Inria Grenoble-Rhône-Alpes Research Centre](https://www.inria.fr/en/centre-inria-grenoble-rhone-alpes), France.
Martin joined the group as a Research Associate in 2018. His work focused on a formalism called [skeletons](http://skeletons.inria.fr) 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](https://github.com/Imperial-Wasm/wasm-coq-public). In 2020 Martin was appointed CRCN (chargé de recherche de classe normale) in the [Sound Programming of Adaptive Dependable Embedded Systems (Spades)](https://team.inria.fr/spades/) group at [Inria Grenoble-Rhône-Alpes Research Centre](https://www.inria.fr/en/centre-inria-grenoble-rhone-alpes), France.
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment