I am Sacha Ayoun, PhD Student at Imperial College under the supervision of Philippa Gardner and a member of the Verified Trustworthy Software Specification Group. During my PhD, I work on formal verification of JavaScript programs. My CV is available here.

In my free time, I like to go bouldering, to do magic, and to cook.


No publications yet

Contact me

  • Address

    Department of Computing
    Imperial College London
    South Kensington Campus
    London SW7 2AZ, United Kingdom