Gilles Barthe

Gilles Barthe

Vita

Gründungsdirektor des neuen Max-Planck-Instituts für Cybersicherheit und Schutz der Privatsphäre in Bochum.

Forschungsinteressen

  • Programmiersprachen
  • Programmverifizierung
  • Software- und Systemsicherheit
  • Kryptographie
  • Datenschutz
  • mathematische Logik
Zur Redakteursansicht