Name:Sacha-Élie Ayoun

Country:United Kingdom

Affiliation:Imperial College London

Research interests:Formal methods, Program Verification, Programming languages