idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
Der Saarbrücker Informatiker Sven Schewe erhält den gemeinsamen Dissertationspreis der Gesellschaft für Informatik (GI), der Schweizer Informatik Gesellschaft (SI), der Österreichischen Computergesellschaft (OCG) und des German Chapter of the ACM (GChACM) für das Jahr 2008. Die mit 5.000 Euro dotierte Auszeichnung wird einmal jährlich für die beste Doktorarbeit der Informatik verliehen, die an einer Universität in Deutschland, Österreich oder der Schweiz verfasst wurde.
In der ausgezeichneten Arbeit stellt Sven Schewe mathematische Verfahren vor, mit denen die Sicherheit von elektronischen Helfern gewährleistet werden kann. Dazu zählen zum Beispiel die Antiblockiersysteme und Airbagsteuerungen im Auto, aber auch Geldautomaten oder Flugsicherungssysteme. Solche Systeme müssen unabhängig von ihrer Umgebung sicher arbeiten. Etwa muss der Airbag auch dann noch funktionieren, wenn man das Autoradio austauscht oder wenn plötzlich die Zentralverriegelung streikt. Die von Sven Schewe entwickelten Verfahren analysieren vor allem die Frage, ob ein System so angelegt ist, dass es immer sicher funktioniert. Sie helfen außerdem dem Programmierer dabei, die sicherheitskritischen Anforderungen korrekt umzusetzen.
Der junge Wissenschaftler erstellte die Dissertation als Mitarbeiter von Prof. Dr. Bernd Finkbeiner am Lehrstuhl für Reaktive Systeme der Universität des Saarlandes. Derzeit arbeitet Sven Schewe als Gastwissenschaftler an der Universität in Liverpool (Großbritannien). Der GI-Dissertationspreis wird am 30. September 2009 auf der Jahrestagung der Gesellschaft für Informatik in Lübeck verliehen.
http://www.gi-ev.de
http://react.cs.uni-sb.de/index.php?id=26
Sven Schewe
Universität des Saarlandes
None
Criteria of this press release:
Information technology
regional
Contests / awards
German
Sven Schewe
Universität des Saarlandes
None
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).
