Skip to content
Snippets Groups Projects
Commit d9831c9b authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2018-06-13-martin.md

parent 91895ce9
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2018-06-13-martin.md
+ 1
− 1
View file @ d9831c9b
...@@ -5,7 +5,7 @@ We are very happy to welcome Martin Bodin, who joins the group as a Research Ass ...@@ -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) 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 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) 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 participated on the [JSCert project]( http://www.jscert.org/) to build
a Coq specification for JavaScript. a Coq specification for JavaScript.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment