Gilles Barthe

Gilles Barthe

Curriculum Vitae

Founding Director of the new Max Planck Institute for Cybersecurity and Privacy Protection in Bochum.

Research Interests

  • programming languages
  • program verification
  • software and system security
  • cryptography
  • privacy
  • mathematical logic
Go to Editor View