Gilles Barthe

Scientific Director, Max Planck Institute for Security and Privacy

Part-time Research Professor, IMDEA Software Institute