Name:Sacha-Élie Ayoun

Affiliation:Imperial College London, UK

Research interests:Formal methods, Program Verification, Programming languages