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) 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 as well as his MSc in Advanced Computing at Imperial. His PhD will be focused on JavaScript Verification using separation logic.