We are very happy to welcome Sacha Ayoun, 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 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), where he worked improving the Frame-C abstract interpreter to better handle file descriptors.