diff --git a/_posts/2018-01-29-grohens.md b/_posts/2018-01-29-grohens.md new file mode 100644 index 0000000000000000000000000000000000000000..9b7f2ef27dca0e20e3e2142596e455e739ca0f26 --- /dev/null +++ b/_posts/2018-01-29-grohens.md @@ -0,0 +1,7 @@ +--- +title: Welcome to Theotime Grohens intern 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. + +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