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