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

Update 2018-01-29-grohens.md

parent 212fca06
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2018-01-29-grohens.md
+ 1
− 1
View file @ 97a2f0be
...@@ -2,6 +2,6 @@ ...@@ -2,6 +2,6 @@
title: Welcome to Theotime Grohens, internship working on JaVert. 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. 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
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