Update 2018-10-15-sacha.md

_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