![Sacha-Élie Ayoun](https://popl22.sigplan.org/getProfileImage/sachaelieayoun/2c7ae04d-d1a9-46a1-9276-d1e13490e66e/small.jpg?1711604391000)
Registered user since Mon 14 Jan 2019
Name:Sacha-Élie Ayoun
Country:United Kingdom
Affiliation:Amazon and Imperial College London
X (Twitter): https://x.com/SachaAyoun
GitHub: https://github.com/giltho
Research interests:Formal methods, Program Verification, Programming languages
Contributions
POPL 2022-profile
View general profile
View general profile