From e96ec1c5fb245069b1aa9de00bb38e9a1bc95ad6 Mon Sep 17 00:00:00 2001
From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk>
Date: Tue, 23 Jun 2020 14:18:13 +0100
Subject: [PATCH] Update ayoun.md

---
 _people/ayoun.md | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/_people/ayoun.md b/_people/ayoun.md
index 1fe8707..af9cd01 100644
--- a/_people/ayoun.md
+++ b/_people/ayoun.md
@@ -11,11 +11,13 @@ projects:
   - sl
 ---
 Sacha Ayoun is a PhD student at the Department of Computing at Imperial, under
-the supervision of Professor Philippa Gardner. During his undergraduate 2017,
-he worked at the [French Alternative and Atomic Energy Commission
+the supervision of Professor Philippa Gardner. He is currently working 
+on [Gillian](https://gillianplatform.github.io), a parametric symbolic execution 
+tool for symbolic testing, verification and automatic compositional testing.
+
+During his undergraduate 2017, Sacha worked at the [French Alternative and Atomic Energy Commission
 (CEA)](http://www.cea.fr/english) as a researcher-engineer intern.
 His goal was to improve the Frame-C abstract interpreter to better handle
 file descriptors. In 2018 he completed his Supelec Engineer Diploma
 at [CentraleSupelec](http://www.centralesupelec.fr/)
-as well as his MSc in Advanced Computing at Imperial.  His PhD will be focused
-on JavaScript Verification using separation logic.
\ No newline at end of file
+as well as his MSc in Advanced Computing at Imperial.
\ No newline at end of file
-- 
GitLab