Neues Handbuch Hochschullehre

Login

Beckert, Bernhard Drucken

Titel Prof. Dr.
Universität KIT
Position Studiendekan, Leiter des Lehrstuhls “Anwendungsorientierte Formale Verifikation”

Prof. Dr. rer. nat. Bernhard Beckert ist Studiendekan der Fakultät für Informatik am KIT, Leiter des Lehrstuhls “Anwendungsorientierte Formale Verifikation” und Modulverantwortlicher für das Modul Praxis der Forschung.