Name:Remi Delmas

Country:France

Affiliation:Uber ATCP

Research interests:Formal methods, language design and implementation, system safety