From dcde4e54a3f8fc389bdf758d681bf1992fc086f0 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 9 Nov 2018 10:11:06 +0000 Subject: [PATCH] Update 2018-10-15-sacha.md --- _posts/2018-10-15-sacha.md | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/_posts/2018-10-15-sacha.md b/_posts/2018-10-15-sacha.md index 6d91e15..e4c11a9 100644 --- a/_posts/2018-10-15-sacha.md +++ b/_posts/2018-10-15-sacha.md @@ -5,10 +5,7 @@ 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/), +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 +course he was a researcher-engineer intern at the [French Alternative and Atomic Energy Commission (CEA)](http://www.cea.fr/english), +where he worked improving the Frame-C abstract interpreter to better handle file descriptors. \ No newline at end of file -- GitLab