Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Höchster europäischer Forschungspreis für Informatik-Professor Andreas Zeller

18.10.2011
Andreas Zeller, Professor für Softwaretechnik der Universität des Saarlandes erhält einen ERC Advanced Grant, den höchst dotierten Forschungspreis der Europäischen Union. Die Fördersumme wird bis zu 2,3 Millionen Euro für die kommenden fünf Jahre betragen.

Der Informatiker Andreas Zeller will damit die grundlegenden Prinzipien großer Softwaresysteme erforschen. Mit diesen Erkenntnissen sollen künftig automatisch fehlerfreie Computersysteme erstellt werden, um etwa den Geldverkehr, soziale Netzwerke oder die Flugüberwachung sicherer zu gestalten.

Der Saarbrücker Informatiker Andreas Zeller hat in den vergangenen Jahren intensiv erforscht, wie man automatisch Fehler in Computerprogrammen mit mehreren Millionen Codezeilen findet. „Bei der Fehlersuche hat man aber stets das Problem, zu entscheiden, was überhaupt ein Fehler ist. Programme dürfen nicht abstürzen – das ist einfach. Aber was ist das ‚richtige’ Verhalten einer Bankanwendung oder eines Flugzeugs? “, beschreibt Andreas Zeller die Herausforderung.

In den letzten Jahren haben Informatiker Verfahren entwickelt, bei denen über automatische Beweise gezeigt wird, dass ein Computersystem auch genau das tut, wofür es gedacht ist. „Dafür muss der Software-Entwickler jedoch genau wissen, was das ‚richtige’ Verhalten des Programms sein soll. Und er muss diese ‚Gesetze’ mathematisch präzise spezifizieren – was genauso aufwändig und schwer wie das Programmieren selbst ist“, erläutert Zeller.

Um den Entwicklern diese mühsame und schwierige Handarbeit künftig zu ersparen, will der Saarbrücker Forscher auch diese Aufgabe vollautomatisch dem Rechner übertragen. „Wir werden dafür vorhandene komplexe Computersysteme genau analysieren und daraus die Spezifikationen der Systeme ableiten“, sagt Zeller. Oft sei dieses Wissen nämlich über die Jahre verloren gegangen, weil die ursprünglichen Entwickler längst an anderen Projekten arbeiten. Oder es wurde nie systematisch dokumentiert. „Man kann das mit den mittelalterlichen Kathedralen vergleichen. Damals gab es nur einfache Baupläne und kaum statische Berechnungen. Wenn wir heute verstehen wollen, warum die Kathedralen über Jahrhunderte nicht eingestürzt sind, müssen wir die Grundlagen ihrer Statik herausfinden. Wir erforschen systematisch das Verhalten großer Computersysteme, um das enthaltene Wissen für sichere und fehlerfreie Programme zu nutzen“, beschreibt Zeller das Forschungsziel.

Der ERC Advanced Grant ist die höchstdotierte Forschungsförderung der Europäischen Union – und die begehrteste: In diesem Jahr hatten sich 2284 Wissenschaftler für die Förderung beworben, nur etwa 12 Prozent der Anträge wurden bewilligt. Andreas Zeller ist der erste Professor der Universität des Saarlandes, der diese hohe Auszeichnung erhält und der erste Wissenschaftler in Deutschland, der im Bereich der Informatik und Computerwissenschaften mit diesem Preis ausgezeichnet wird. Vor zwei Jahren bekam der Saarbrücker Informatik-Professor Michael Backes bereits einen mit rund einer Million Euro dotierten ERC Starting Grant, der sich an junge Forscher unter 35 Jahren richtet.

Mit der Fördersumme von bis zu 2,3 Millionen Euro wird Professor Zeller rund zehn Doktoranden und promovierte Wissenschaftler einstellen können. Sie werden in den kommenden fünf Jahren in dem neuen Forschungsprojekt namens Specmate (“Specification Mining and Testing”) die Prinzipien der Softwaresysteme analysieren.

Fragen beantwortet:

Prof. Dr. Andreas Zeller
Lehrstuhl für Softwaretechnik der Universität des Saarlandes
Tel. 0681/302-70971
Mail: zeller@cs.uni-saarland.de
Hinweis für Hörfunk-Journalisten: Sie können Telefoninterviews in Studioqualität mit Wissenschaftlern der Universität des Saarlandes führen, über Rundfunk-ISDN-Codec. Interviewwünsche bitte an die Pressestelle (0681/302-3610) richten.

Friederike Meyer zu Tittingdorf | Universität des Saarlandes
Weitere Informationen:
http://www.specmate.org/
http://www.st.cs.uni-saarland.de/
http://www.uni-saarland.de/pressefotos

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht 8,2 Millionen Euro für den Kampf gegen Leukämie
28.07.2017 | Deutsche José Carreras Leukämie-Stiftung e. V.

nachricht Kieler Projekt „FucoSan – Gesundheit aus dem Meer“ erhält 2,2 Millionen Euro
27.07.2017 | Universitätsklinikum Schleswig-Holstein

Alle Nachrichten aus der Kategorie: Förderungen Preise >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Ruckartige Bewegung schärft Röntgenpulse

Spektral breite Röntgenpulse lassen sich rein mechanisch „zuspitzen“. Das klingt überraschend, aber ein Team aus theoretischen und Experimentalphysikern hat dafür eine Methode entwickelt und realisiert. Sie verwendet präzise mit den Pulsen synchronisierte schnelle Bewegungen einer mit dem Röntgenlicht wechselwirkenden Probe. Dadurch gelingt es, Photonen innerhalb des Röntgenpulses so zu verschieben, dass sich diese im gewünschten Bereich konzentrieren.

Wie macht man aus einem flachen Hügel einen steilen und hohen Berg? Man gräbt an den Seiten Material ab und schüttet es oben auf. So etwa kann man sich die...

Im Focus: Abrupt motion sharpens x-ray pulses

Spectrally narrow x-ray pulses may be “sharpened” by purely mechanical means. This sounds surprisingly, but a team of theoretical and experimental physicists developed and realized such a method. It is based on fast motions, precisely synchronized with the pulses, of a target interacting with the x-ray light. Thereby, photons are redistributed within the x-ray pulse to the desired spectral region.

A team of theoretical physicists from the MPI for Nuclear Physics (MPIK) in Heidelberg has developed a novel method to intensify the spectrally broad x-ray...

Im Focus: Physiker designen ultrascharfe Pulse

Quantenphysiker um Oriol Romero-Isart haben einen einfachen Aufbau entworfen, mit dem theoretisch beliebig stark fokussierte elektromagnetische Felder erzeugt werden können. Anwendung finden könnte das neue Verfahren zum Beispiel in der Mikroskopie oder für besonders empfindliche Sensoren.

Mikrowellen, Wärmestrahlung, Licht und Röntgenstrahlung sind Beispiele für elektromagnetische Wellen. Für viele Anwendungen ist es notwendig, diese Strahlung...

Im Focus: Physicists Design Ultrafocused Pulses

Physicists working with researcher Oriol Romero-Isart devised a new simple scheme to theoretically generate arbitrarily short and focused electromagnetic fields. This new tool could be used for precise sensing and in microscopy.

Microwaves, heat radiation, light and X-radiation are examples for electromagnetic waves. Many applications require to focus the electromagnetic fields to...

Im Focus: Navigationssystem der Hirnzellen entschlüsselt

Das menschliche Gehirn besteht aus etwa hundert Milliarden Nervenzellen. Informationen zwischen ihnen werden über ein komplexes Netzwerk aus Nervenfasern übermittelt. Verdrahtet werden die meisten dieser Verbindungen vor der Geburt nach einem genetischen Bauplan, also ohne dass äußere Einflüsse eine Rolle spielen. Mehr darüber, wie das Navigationssystem funktioniert, das die Axone beim Wachstum leitet, haben jetzt Forscher des Karlsruher Instituts für Technologie (KIT) herausgefunden. Das berichten sie im Fachmagazin eLife.

Die Gesamtlänge des Nervenfasernetzes im Gehirn beträgt etwa 500.000 Kilometer, mehr als die Entfernung zwischen Erde und Mond. Damit es beim Verdrahten der...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Internationaler Ferienkurs mit rund 600 Teilnehmern aus aller Welt

28.07.2017 | Veranstaltungen

10. Uelzener Forum: Demografischer Wandel und Digitalisierung

26.07.2017 | Veranstaltungen

Clash of Realities 2017: Anmeldung jetzt möglich. Internationale Konferenz an der TH Köln

26.07.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Firmen räumen bei der IT, Mobilgeräten und Firmen-Hardware am liebsten in der Urlaubsphase auf

28.07.2017 | Unternehmensmeldung

Dunkel war’s, der Mond schien helle: Nachthimmel oft heller als gedacht

28.07.2017 | Geowissenschaften

8,2 Millionen Euro für den Kampf gegen Leukämie

28.07.2017 | Förderungen Preise