From d9831c9b82f2591fd5b146666251e7d63f527dcf Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 20 Jun 2018 16:40:43 +0100
Subject: [PATCH] Update 2018-06-13-martin.md

---
 _posts/2018-06-13-martin.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_posts/2018-06-13-martin.md b/_posts/2018-06-13-martin.md
index 6568623..94ab57f 100644
--- a/_posts/2018-06-13-martin.md
+++ b/_posts/2018-06-13-martin.md
@@ -5,7 +5,7 @@ We are very happy to welcome Martin Bodin, who joins the group as a Research Ass
 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 
+and [Thomas Jensen](http://www.irisa.fr/celtique/jensen/). He then 
 participated on the [JSCert project]( http://www.jscert.org/) to build 
 a Coq specification for JavaScript. 
 
-- 
GitLab