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

---
 _people/bodin.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/_people/bodin.md b/_people/bodin.md
index ac3a647..0bd31ba 100644
--- a/_people/bodin.md
+++ b/_people/bodin.md
@@ -3,7 +3,7 @@ firstname: Martin
 lastname: Bodin
 position: Researcher
 webpage: https://mbodin.github.io/index.html?lang=en&pedanticJS=no#en
-email: m.bodin@imperial.ac.uk
+email: mbodin@ic.ac.uk
 github:
 alumnus: true
 projects:
@@ -13,4 +13,4 @@ Martin joined the group as a Research Associate in 2018. His work focused on a f
 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.
\ No newline at end of file
+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.
-- 
GitLab