From 82db67d3f4b4ca181ba0fb84cf8a71253ccce7e2 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Wed, 7 Nov 2018 16:07:31 +0000
Subject: [PATCH] Add new file

---
 _posts/2018-10-15-sacha.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 _posts/2018-10-15-sacha.md

diff --git a/_posts/2018-10-15-sacha.md b/_posts/2018-10-15-sacha.md
new file mode 100644
index 0000000..791d58c
--- /dev/null
+++ b/_posts/2018-10-15-sacha.md
@@ -0,0 +1,14 @@
+---
+title: Welcome to Sacha Ayoun, new PhD student with the group
+---
+
+We are very happy to welcome [Sacha Ayoun]( https://www.doc.ic.ac.uk/~sja3417/), who has joined the group as a PhD student. 
+
+Sacha will work on JavaScript Verification using separation logic, under the supervision 
+of Philippa Gardner. Sacha completed his Supelec Engineer Diploma at [CentraleSupelec](http://www.centralesupelec.fr/), 
+in 2018 as well as his MSc in Advanced Computing at Imperial. During his undergraduate 
+course he worked at the [French Alternative and Atomic Energy Commission (CEA)](http://www.cea.fr/english) 
+as a researcher-engineer intern, where he worked improving the Frame-C abstract interpreter 
+to better handle file descriptors.
+
+Sacha’s PhD will be focused on JavaScript Verification using separation logic.
\ No newline at end of file
-- 
GitLab