From 6d1c7c3ab09abae4a1081ce3fe86a8d82d478f4a Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 13 Jun 2018 11:39:22 +0100
Subject: [PATCH] Add new file

---
 _people/bodin.md | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 _people/bodin.md

diff --git a/_people/bodin.md b/_people/bodin.md
new file mode 100644
index 0000000..624a54d
--- /dev/null
+++ b/_people/bodin.md
@@ -0,0 +1,19 @@
+firstname: Martin
+lastname: Bodin
+position: Research Associate
+webpage:  
+email: m.bodin@imperial.ac.uk
+github:  
+alumnus: false
+projects:
+  - web
+---
+Martin Bodin is a Research Associate with the group. Martin Bodin did his PhD at 
+the University of Rennes 1 under the supervision 
+of [Alan Schmitt]( http://people.rennes.inria.fr/Alan.Schmitt/index.html) 
+and [Thomas Jensen]( https://www.researchgate.net/profile/Thomas_Jensen3). 
+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
-- 
GitLab