idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
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.
Criteria of this press release:
Information technology
transregional, national
Personnel announcements
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
