From 25b2ce2de82f1cebfc6ce15f7c16b1977b8eb6fa Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 7 Oct 2020 17:02:15 +0100
Subject: [PATCH] Update bodin.md

---
 _people/bodin.md | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/_people/bodin.md b/_people/bodin.md
index 0bd31ba..6f9d46e 100644
--- a/_people/bodin.md
+++ b/_people/bodin.md
@@ -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
-- 
GitLab