Sacha-Élie Ayoun - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

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

2024

POPL

Student Volunteer Co-Chair in Organizing Committee

Formal Methods for Incorrectness

Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning

Show activities from other conferences

POPL 2024-profile
View general profile