Die Senatorin für Bildung und Wissenschaft hat Dr. Dieter Hutter vom Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI) Bremen zum Honorarprofessor im Fachbereich 3 Mathematik / Informatik der Universität Bremen bestellt. Mit der Berufung würdigt die Senatorin seine Verdienste insbesondere auf dem Feld der formalen Modellierung von Sicherheit. Ziel der Vergabe von Honorarprofessuren ist es, das Forschungs- und Lehrangebot der Universität zu ergänzen.
Am Mittwoch, 28. Oktober 2009, erhält Dieter Hutter die Urkunde vom Dekan des Fachbereichs 3, Professor Jan Peleska. Am Nachmittag wird es um 15 Uhr im Foyer des Cartesiums auf dem Uni-Campus in der Enrique-Schmidt-Straße 5 einen Sektempfang im Forschungsbereich Sichere Kognitive Systeme des DFKI für den Honorarprofessor geben.
Seine wissenschaftliche Laufbahn hat der 50-jährige Informatiker in Karlsruhe begonnen und ist seit 1994 am DFKI tätig; seit 2008 am Standort Bremen. Inhaltlich beschäftigte sich Dieter Hutter anfangs mit dem Bereich der Automatisierung mathematischer Beweissuche. Die dort entwickelten Techniken werden bei der formalen Programmverifikation eingesetzt, um zu überprüfen, ob Programme die an sie gestellten Anforderungen erfüllen. Der Einsatz von Programmverifikationsverfahren in der Praxis initiierten seine langjährige Forschungstätigkeit im Gebiet des Formalen Änderungsmanagements, um die in der formalen Programmentwicklung geleisteten Arbeiten bei Anforderungsänderungen effizient und sicher anpassen zu können. Neben der Korrektheit von Programmen bildet ihre Sicherheit gegen Angriffe von außen einen Schwerpunkt seiner gegenwärtigen Untersuchungen. Hier geht es um eine maschinelle Erfassung und Kontrolle von Informationsflüssen in und zwischen Programmen, mit deren Hilfe sowohl die Vertraulichkeit als auch die Integrität von Informationen sichergestellt werden kann.
Das DFKI mit Sitz in Kaiserslautern, Saarbrücken und Bremen sowie dem Projektbüro in Berlin hat sich seit der Gründung 1988 zum weltweit größten Forschungszentrum auf diesem Gebiet entwickelt. Das Finanzierungsvolumen lag 2008 bei rund 27 Millionen Euro. DFKI-Projekte adressieren das gesamte Spektrum von der anwendungsorientierten Grundlagenforschung bis zur markt- und kundenorientierten Entwicklung von Produktfunktionen. Aktuell forschen mehr als 300 Mitarbeiter aus 46 Nationen an innovativen Software-Lösungen.
Wetere Informationen:
Universität Bremen
DFKI Bremen, Forschungsbereich Sichere Kognitive Systeme
Prof. Dr. Dieter Hutter
Leiter der Abteilung Sichere Software - Entwicklungstechnologien
Tel. 0421 218-64277
hutterprotect me ?!dfkiprotect me ?!.de