Name:Gilles Barthe

Affiliation:IMDEA Software Institute, Spain

Research interests:Formal methods, programming languages and program verification, software and system security, and cryptography