
Registered user since Mon 14 Jan 2019
Name:Sacha-Élie Ayoun
Country:United Kingdom
Affiliation:Amazon and Imperial College London
Twitter:https://twitter.com/SachaAyoun
GitHub:https://github.com/giltho
Research interests:Formal methods, Program Verification, Programming languages
Contributions
VMCAI 2022 | Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2022-profile
View general profile
View general profile