![Sacha-Élie Ayoun](https://conf.researchr.org/getProfileImage/sachaelieayoun/a0480ba4-abdb-45e8-bf5a-bd5eb56b754b/small.jpg?1711604391000)
Registered user since Mon 14 Jan 2019
Name:Sacha-Élie Ayoun
Affiliation:Imperial College London, UK
Research interests:Formal methods, Program Verification, Programming languages
Contributions
PLDI 2020-profile
View general profile
View general profile