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

Update bodin.md

parent 050eb2e8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
_people/bodin.md
+ 1
− 1
View file @ 568ee059
...@@ -11,7 +11,7 @@ projects: ...@@ -11,7 +11,7 @@ projects:
- web - web
--- ---
Martin Bodin is a Research Associate with the group. Martin Bodin did his PhD at Martin Bodin is a Research Associate with the group. Martin Bodin did his PhD at
the University of Rennes 1 under the supervision 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). and [Thomas Jensen]( https://www.researchgate.net/profile/Thomas_Jensen3).
He participated to the [JSCert project]( http://www.jscert.org/) to build a Coq He participated to the [JSCert project]( http://www.jscert.org/) to build a Coq
......
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