From 0d40bcf991928ba1dec143d2b408ab75b5e56bc3 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Fri, 6 Apr 2018 16:14:42 +0100
Subject: [PATCH] Add new file

---
 _posts/2018-01-29-grohens.md | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 _posts/2018-01-29-grohens.md

diff --git a/_posts/2018-01-29-grohens.md b/_posts/2018-01-29-grohens.md
new file mode 100644
index 0000000..9b7f2ef
--- /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
-- 
GitLab