From ba07639252f2583e48d9fa2a9e01870ed7cbc877 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 13 Jun 2018 11:40:25 +0100
Subject: [PATCH] Update bodin.md

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

diff --git a/_people/bodin.md b/_people/bodin.md
index 5ce293b..05b53c0 100644
--- a/_people/bodin.md
+++ b/_people/bodin.md
@@ -1,19 +1,11 @@
 ---
-
 firstname: Martin
-
 lastname: Bodin
-
 position: Research Associate
-
 webpage:  
-
 email: m.bodin@imperial.ac.uk
-
 github:  
-
 alumnus: false
-
 projects:
   - web
 ---
@@ -25,4 +17,4 @@ He participated to the [JSCert project]( http://www.jscert.org/) to build a Coq
 specification for JavaScript. He applied the same formalising technique to build 
 a semantics for R during his postdoc at the [University of Chile]( http://www.cmm.uchile.cl/). 
 These specifications come with a high degree of confidence, but also with a large size. 
-His current work focuses on building and proving abstract analyses for such large semantics
+His current work focuses on building and proving abstract analyses for such large semantics.
\ No newline at end of file
-- 
GitLab