Add new file

_people/ayoun.md

+---
+firstname: Sacha
+lastname: Ayoun
+position: PhD Student
+webpage: https://www.doc.ic.ac.uk/~sja3417/
+email: s.ayoun17@imperial.ac.uk
+github:  https://github.com/Giltho/
+alumnus: false
+projects:
+  - web
+  - moc
+---
+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 
+(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