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 DFG fördert 15 neue Sonderforschungsbereiche (SFB)
26.05.2017 | Deutsche Forschungsgemeinschaft (DFG)

nachricht Neues Helmholtz-Institut in Würzburg erforscht Infektionen auf genetischer Ebene
24.05.2017 | Hermann von Helmholtz-Gemeinschaft Deutscher Forschungszentren

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: Lässt sich mit Boten-RNA das Immunsystem gegen Staphylococcus aureus scharf schalten?

Staphylococcus aureus ist aufgrund häufiger Resistenzen gegenüber vielen Antibiotika ein gefürchteter Erreger (MRSA) insbesondere bei Krankenhaus-Infektionen. Forscher des Paul-Ehrlich-Instituts haben immunologische Prozesse identifiziert, die eine erfolgreiche körpereigene, gegen den Erreger gerichtete Abwehr verhindern. Die Forscher konnten zeigen, dass sich durch Übertragung von Protein oder Boten-RNA (mRNA, messenger RNA) des Erregers auf Immunzellen die Immunantwort in Richtung einer aktiven Erregerabwehr verschieben lässt. Dies könnte für die Entwicklung eines wirksamen Impfstoffs bedeutsam sein. Darüber berichtet PLOS Pathogens in seiner Online-Ausgabe vom 25.05.2017.

Staphylococcus aureus (S. aureus) ist ein Bakterium, das bei weit über der Hälfte der Erwachsenen Haut und Schleimhäute besiedelt und dabei normalerweise keine...

Im Focus: Can the immune system be boosted against Staphylococcus aureus by delivery of messenger RNA?

Staphylococcus aureus is a feared pathogen (MRSA, multi-resistant S. aureus) due to frequent resistances against many antibiotics, especially in hospital infections. Researchers at the Paul-Ehrlich-Institut have identified immunological processes that prevent a successful immune response directed against the pathogenic agent. The delivery of bacterial proteins with RNA adjuvant or messenger RNA (mRNA) into immune cells allows the re-direction of the immune response towards an active defense against S. aureus. This could be of significant importance for the development of an effective vaccine. PLOS Pathogens has published these research results online on 25 May 2017.

Staphylococcus aureus (S. aureus) is a bacterium that colonizes by far more than half of the skin and the mucosa of adults, usually without causing infections....

Im Focus: Orientierungslauf im Mikrokosmos

Physiker der Universität Würzburg können auf Knopfdruck einzelne Lichtteilchen erzeugen, die einander ähneln wie ein Ei dem anderen. Zwei neue Studien zeigen nun, welches Potenzial diese Methode hat.

Der Quantencomputer beflügelt seit Jahrzehnten die Phantasie der Wissenschaftler: Er beruht auf grundlegend anderen Phänomenen als ein herkömmlicher Rechner....

Im Focus: A quantum walk of photons

Physicists from the University of Würzburg are capable of generating identical looking single light particles at the push of a button. Two new studies now demonstrate the potential this method holds.

The quantum computer has fuelled the imagination of scientists for decades: It is based on fundamentally different phenomena than a conventional computer....

Im Focus: Tumult im trägen Elektronen-Dasein

Ein internationales Team von Physikern hat erstmals das Streuverhalten von Elektronen in einem nichtleitenden Material direkt beobachtet. Ihre Erkenntnisse könnten der Strahlungsmedizin zu Gute kommen.

Elektronen in nichtleitenden Materialien könnte man Trägheit nachsagen. In der Regel bleiben sie an ihren Plätzen, tief im Inneren eines solchen Atomverbunds....

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Meeresschutz im Fokus: Das IASS auf der UN-Ozean-Konferenz in New York vom 5.-9. Juni

24.05.2017 | Veranstaltungen

Diabetes Kongress in Hamburg beginnt heute: Rund 6000 Teilnehmer werden erwartet

24.05.2017 | Veranstaltungen

Wissensbuffet: „All you can eat – and learn”

24.05.2017 | Veranstaltungen

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

DFG fördert 15 neue Sonderforschungsbereiche (SFB)

26.05.2017 | Förderungen Preise

Lässt sich mit Boten-RNA das Immunsystem gegen Staphylococcus aureus scharf schalten?

26.05.2017 | Biowissenschaften Chemie

Unglaublich formbar: Lesen lernen krempelt Gehirn selbst bei Erwachsenen tiefgreifend um

26.05.2017 | Gesellschaftswissenschaften