Prof. Dr. Bernhard Beckert
Forschungsfelder:
  • Sicherheit und Datenschutz für zukünftige Produktionssysteme
  • Beweisbare Sicherheit für komplexe IT-Systeme

Professor Beckert beschäftigt sich mit formaler Logik und logikbasierten Techniken. Diese kommen bei der Spezifikation, Entwurf, Entwicklung und Verifikation von Software- und Hardware-Systemen zum Einsatz. Das Ziel ist es, die Zuverlässigkeit und Sicherheit von Systemen zu erhöhen. Diese Herangehensweise ist insbesondere für kritische Systeme notwendig, um sicherzustellen, dass durch den Entwicklungsprozess keine neuen Fehler entstehen.