idw - Informationsdienst
Wissenschaft
Freiburger Informatikstudent erhält hoch dotiertes Stipendium von Microsoft Research
Eine besondere Ehre wurde jetzt einem Freiburger Studierenden der Informatik zuteil: Thomas Wies erhielt als einziger Deutscher in diesem Jahr und als zweiter Deutscher überhaupt ein Promotionsstipendium des europäischen Forschungsprogramms von Microsoft. Das Microsoft Research European PhD Scholarship Programme unterstützt herausragende Studierende, deren Promotionsprojekte einen entscheidenden Beitrag zur Informatik versprechen. Das Stipendium ist mit insgesamt 90.000 Euro dotiert und läuft über drei Jahre. Bereits während seines Studiums hat sich Thomas Wies mit zwei viel beachteten Publikationen hervorgetan. Mit seinem Promotionsprojekt setzt er sich nun ein hohes Ziel: Auf der Basis komplexer mathematischer Methoden sucht Wies nach Möglichkeiten, Fehlerfreiheit bei der Anwendung von Computersoftware und Betriebssystemen zu garantieren. Ein Thema von aktueller Brisanz, denn dabei geht es nicht zuletzt um die Sicherheit des Internets. "Programmabstürze sind zwar nervig", erklärt Thomas Wies, "zählen aber eigentlich eher zu den harmlosen Folgen von Programmierfehlern. Viel ernsthafter ist das Sicherheitsrisiko, dass durch solche Fehler entsteht, denn sie werden systematisch ausgenutzt, um über das Internet unbemerkt Daten des Benutzers auszuspähen oder schädliche Software wie Viren und Trojaner auf dem betroffenen Computer installieren." Gemeinsam mit seinem Doktorvater Professor Andreas Podelski entwickelt Thomas Wies ein Werkzeug, um Fehler in Programmen automatisch aufzuspüren. Werden keine Fehler festgestellt, wird ein mathematischer Beweis erbracht, der die Fehlerfreiheit formal bestätigt. "Die Herausforderung bei diesem Projekt liegt in einem der fundamentalen Gesetze der Informatik", so Wies. "Dieses besagt nämlich, dass es kein Programm geben kann, dass die Fehlerfreiheit eines beliebigen anderen Programms verifiziert." Das theoretisch Unmögliche praktisch möglich zu machen, so könnte man das Unterfangen des Doktoranden gewissermaßen zusammenfassen. Hoffnung, dass dies gelingen kann, geben andere Projekte, welche die Abteilung für Softwaretechnik von Professor Podelski in enger Zusammenarbeit mit dem Forschungslabor von Microsoft in Cambridge bereits durchgeführt hat. So gelang es auf einem angrenzenden Gebiet tatsächlich, prototypische Testverfahren für Gerätetreiber zu entwickeln, die Anwendungsfehler künftig ausschließen.
Im Rahmen seines Promotionsstipendiums wird Thomas Wies regelmäßig mit Professoren und Doktoranden aus Europa, China und den USA im Forschungslabor von Microsoft in Cambridge zusammentreffen und an der Lösung aktueller Probleme arbeiten. "Das ist eine einzigartige Chance", so Professor Podelski, "da treffen sich einige der besten Forscher unter den Informatikern."
Criteria of this press release:
Information technology
regional
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).