TU-Informatiker ausgezeichnet

26.10.2004, Pressemitteilungen

Auf der diesjährigen Jahrestagung der Gesellschaft für Informatik e.V. (GI) sind gleich vier Wissenschaftler der Fakultät für Informatik der Technischen Universität München ausgezeichnet worden. Mit dem "Fellow der GI" wurden Prof. Manfred Broy und Prof. Eike Jessen für ihre Verdienste um die Gesellschaft für Informatik und die Informatik-Wissenschaft geehrt. Für ihre herausragenden Dissertationen wurden zwei junge TU-Informatiker ausgezeichnet: Dr. Gerwin Klein erhielt den mit 5.000 Euro dotierten Dissertationspreis der Gesellschaft für Informatik. Der von der Ernst-Denert-Stiftung verliehene Software-Engineering-Preis wurde Dr. Veronika Thurner zuerkannt. Auch dieser Preis ist mit 5.000 Euro dotiert. Beide Wissenschaftler führten ihre Promotionen in der von den Professoren Manfred Broy und Tobias Nipkow geleiteten Arbeitsgruppe "Software & Systems Engineering" durch.

Mit Prof. Manfred Broy, Ordinarius am Lehrstuhl für Informatik IV - Software und Systems Engineering der TU München - würdigte die Gesellschaft für Informatik einen international anerkannten Wissenschaftler für seine außerordentlichen Verdienste in Forschung und Lehre. Durch sein hohes Engagement auf den Gebieten Softwaretechnik und Automobilinformatik ist er eine treibende Kraft in der engen Kooperation von Wirtschaft und Wissenschaft. Manfred Broy ist Träger des Bundesverdienstkreuzes am Band und des Leibnitzpreises der Deutschen Forschungsgemeinschaft.

Prof. Eike Jessen, Emeritus des Lehrstuhls für Informatik VIII - Systemarchitektur an der TU München, ist eines der Gründungsmitglieder der Gesellschaft für Informatik. Für seine hohen wissenschaftlichen Verdienste und ehrenamtliche Tätigkeiten wurde auch er zum "Fellow der GI" ernannt. Die Würdigung ist begründet in seinem langjährigen Engagement für das deutsche Forschungsnetz (DFN) und für das deutsche Wissenschaftsnetz.

Dr. Gerwin Klein untersuchte in seiner Dissertation "Verified Java Bytecode Verification" (Lehrstuhl für Informatik der TU München, Prof. Broy) den zentralen Sicherheitskern der Programmierplattform Java. Diesen sogenannten "Bytecode Verifier" formalisierte er vollständig und verifizierte ihn im maschinellen Theorembeweiser Isabelle. Java ist eine Programmierplattform, deren integriertes Sicherheitskonzept Viren und andere Sicherheitsrisiken erfolgreich abwehrt.

Dr. Veronika Thurner befasste sich in ihrer Dissertation "Formal fundierte Modellierung von Geschäftsprozessen" (Lehrstuhl für Informatik IV der TU München, Prof. Broy) mit Beschreibungstechniken für die Modellierung von Geschäftsprozessen. Diese Geschäftsprozessmodelle sind ebenso präzise wie anschaulich und dadurch sowohl für Softwareentwickler als auch für weniger technisch orientierte Analysten und Anwender von Nutzen.

Kontakt: presse@tum.de