Biography

I am Sacha, PhD Student at Imperial College under the supervision of Philippa Gardner and a member of the Verified Trustworthy Software Specification Group. I am working on Gillian, a parametric symbolic execution tool for symbolic testing, verification and automatic compositional testing. My full CV is available here.

In my free time, I try to contribute to some open-source projects I love. I am an OCaml enthousiast, amateur magician and I like to rollerblade my way through London.

Publications

Gillian, Part I: A Multi-Language Platform for Symbolic Execution
José Fragoso Santos
Petar Maksimović
Sacha-Élie Ayoun
Philippa Gardner
2020
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
Gillian, Part II: Real-World Verification for JavaScript and C
Petar Maksimović
Sacha-Élie Ayoun
José Fragoso Santos
Philippa Gardner
2021
Computer Aided Verification

Contact me

  • Address

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