Add new file

_people/bodin.md

+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