conf.researchr.org / Sacha-Élie Ayoun
Sacha-Élie Ayoun

Registered user since Mon 14 Jan 2019

Name: Sacha-Élie Ayoun

Country: United Kingdom

Affiliation: Imperial College London

Research interests: Formal methods, Program Verification, Programming languages

Contributions

PLMW 2021 Panelist of Panel: Navigating PhD studies within the PLMW 2021-track
Panelist in Panelists within the PLMW 2021-track
REMS-DeepSpec 2020 Author of Gillian: a Multi-language Platform for Program Correctness and Incorrectness within the REMS-DeepSpec 2020-track
PLDI 2020 Author of Gillian, Part I: A Multi-language Platform for Symbolic Execution within the PLDI Research Papers-track