diff --git a/_people/bodin.md b/_people/bodin.md
index 57c3f8f866aca904c70187dc8dd347d9096d3527..ac3a647b88e49803fe3edda68167c1ff6e9d86e1 100644
--- a/_people/bodin.md
+++ b/_people/bodin.md
@@ -9,9 +9,8 @@ alumnus: true
 projects:
   - web
 ---
-Martin Bodin was a Research Associate with the group. In 2020 Martin joined the [Inria Grenoble-Rhône-Alpes Research Centre](https://www.inria.fr/en/centre-inria-grenoble-rhone-alpes) as a CRCN (chargé de recherche de classe normale) with the [Sound Programming of Adaptive Dependable Embedded Systems (Spades)](https://team.inria.fr/spades/) group. 
-
-While at Imperial, Martin's 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
+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).
\ No newline at end of file
+[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