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

---
 _posts/2018-06-13-martin.md | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 _posts/2018-06-13-martin.md

diff --git a/_posts/2018-06-13-martin.md b/_posts/2018-06-13-martin.md
new file mode 100644
index 0000000..6568623
--- /dev/null
+++ b/_posts/2018-06-13-martin.md
@@ -0,0 +1,17 @@
+---
+title: Welcome to Martin Bodin, new member of the group
+---
+We are very happy to welcome Martin Bodin, who joins the group as a Research Associate. 
+Martin did his PhD on [Certified Semantics and Analysis of JavaScript](http://www.cmm.uchile.cl/~mbodin/doktorigxo/manuscrit.pdf)
+at the [University of Rennes 1](https://english.univ-rennes1.fr/) 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 then 
+participated on 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.
+
+You can find more about Martin and his work on [his webpage](http://www.cmm.uchile.cl/~mbodin/esplorado.html?lang=en#en).
\ No newline at end of file
-- 
GitLab