diff --git a/_posts/2018-06-13-martin.md b/_posts/2018-06-13-martin.md
index 65686230f31c2340df1dca23537ab49841df9acb..94ab57f8cb6d05b75e4f5c2a53ebe6c35eda9f22 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.