Add new file

_posts/2018-10-15-sacha.md

+---
+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