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