Prof. Dr. Bernhard Beckert

Direktor

Werdegang

Bernhard Beckert ist Dekan der KIT-Fakultät für Informatik und leitet seit 2009 den Lehrstuhl für Anwendungsorientierte formale Verifikation am Institut für Theoretische Informatik des KIT. Er promovierte 1998 und war bis 2009 Professor an der Universität Koblenz-Landau für Formale Methoden und Künstliche Intelligenz. Seit 2009 leitet er den Lehrstuhl für Anwendungsorientierte Formale Verifikation in Karlsruhe.

Bernhard Beckert befasst sich mit der praktischen Anwendung von formalen, logikbasierten Methoden für die Spezifikation, Verifikation und Analyse von Software, um Verlässlichkeit und Sicherheit kritischer Systeme zu erhöhen. Dabei liegt der Fokus seiner Forschung insbesondere auf den Anwendungsgebieten:

  • Verifikation von funktionalen Eigenschaften und Software-Verlässlichkeit
  • Verifikation von relationalen Eigenschaften und Software-Evolution
  • Verifikation von Informationsfluss-Eigenschaften und IT-Sicherheit
  • Verifikation von Social-Choice-Algorithmen und Wahlverfahren

Kontakt

E-Mail: beckert@dont-want-spam.fzi.de