diff --git a/_posts/2018-01-29-grohens.md b/_posts/2018-01-29-grohens.md index abbf307766998cb1c45a2dba866cc9a67d43e421..bce508447eef4e2c7d6826704024cfab52407d21 100644 --- a/_posts/2018-01-29-grohens.md +++ b/_posts/2018-01-29-grohens.md @@ -2,6 +2,6 @@ title: Welcome to Theotime Grohens, internship working on JaVert. --- -We are very happy to welcome [Theotime Grohens] (https://angel.co/theotime-grohens) who will be spending three months with the group at the beginning of the year. +We are very happy to welcome [Theotime Grohens](https://angel.co/theotime-grohens) who will be spending three months with the group at the beginning of the year. Theotime is currently a Master student at the École normale supérieure school in Paris, working with Pierre Senellart. While at the group, Theo will work on extending JaVerT, the JavaScript Verification Toolchain. \ No newline at end of file