Update bodin.md

_people/bodin.md

 ---
-
 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