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