diff --git a/_posts/2018-10-15-sacha.md b/_posts/2018-10-15-sacha.md
index 6d91e15e685970fb5b1fb6c40e568009a8f76b95..e4c11a9705ac18a1782e24bff0c4292573f1d814 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