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 Weltweit einzigartige Femtosekundenlaseranlage eingeweiht
21.06.2018 | Hochschule RheinMain

nachricht Stahl-Innovationspreis 2018: Mikro-Dampfturbine ausgezeichnet
21.06.2018 | Fraunhofer-Institut für Umwelt-, Sicherheits- und Energietechnik UMSICHT

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: Leichter abheben: Fraunhofer LBF entwickelt Flugzeugrad aus Faser-Kunststoff-Verbund

Noch mehr Reichweite oder noch mehr Nutzlast - das wünschen sich Fluggesellschaften für ihre Flugzeuge. Wegen ihrer hohen spezifischen Steifigkeiten und Festigkeiten kommen daher zunehmend leichte Faser-Kunststoff-Verbunde zum Einsatz. Bei Rümpfen oder Tragflächen sind permanent Innovationen in diese Richtung zu beobachten. Um dieses Innovationsfeld auch für Flugzeugräder zu erschließen, hat das Fraunhofer-Institut für Betriebsfestigkeit und Systemzuverlässigkeit LBF jetzt ein neues EU-Forschungsvorhaben gestartet. Ziel ist die Entwicklung eines ersten CFK-Bugrads für einen Airbus A320. Dabei wollen die Forscher ein Leichtbaupotential von bis zu 40 Prozent aufzeigen.

Faser-Kunststoff-Verbunde sind in der Luftfahrt bei zahlreichen Bauteilen bereits das Material der Wahl. So liegt beim Airbus A380 der Anteil an...

Im Focus: IT-Sicherheit beim autonomen Fahren

FH St. Pölten entwickelt neue Methode für sicheren Informationsaustausch zwischen Fahrzeugen mittels Funkdaten

Neue technische Errungenschaften wie das Internet der Dinge oder die direkte drahtlose Kommunikation zwischen Objekten erhöhen den Bedarf an effizienter...

Im Focus: Innovative Handprothesensteuerung besteht Alltagstest

Selbstlernende Steuerung für Handprothesen entwickelt. Neues Verfahren lässt Patienten natürlichere Bewegungen gleichzeitig in zwei Achsen durchführen. Forscher der Universitätsmedizin Göttingen (UMG) veröffentlichen Studie im Wissenschaftsmagazin „Science Robotics“ vom 20. Juni 2018.

Motorisierte Handprothesen sind mittlerweile Stand der Technik bei der Versorgung von Amputationen an der oberen Extremität. Bislang erlauben sie allerdings...

Im Focus: Temperaturgesteuerte Faser-Lichtquelle mit flüssigem Kern

Die moderne medizinische Bildgebung und neue spektroskopische Verfahren benötigen faserbasierte Lichtquellen, die breitbandiges Laserlicht im nahen und mittleren Infrarotbereich erzeugen. Wissenschaftlerinnen und Wissenschaftler des Leibniz-Instituts für Photonische Technologien Jena (Leibniz-IPHT) zeigen in einer aktuellen Veröffentlichung im renommierten Fachblatt Optica, dass sie die optischen Eigenschaften flüssigkeitsgefüllter Fasern und damit die Bandbreite des Laserlichts gezielt über die Umgebungstemperatur steuern können.

Das Besondere an den untersuchten Fasern ist ihr Kern. Er ist mit Kohlenstoffdisulfid gefüllt - einer flüssigen chemischen Verbindung mit hoher optischer...

Im Focus: Temperature-controlled fiber-optic light source with liquid core

In a recent publication in the renowned journal Optica, scientists of Leibniz-Institute of Photonic Technology (Leibniz IPHT) in Jena showed that they can accurately control the optical properties of liquid-core fiber lasers and therefore their spectral band width by temperature and pressure tuning.

Already last year, the researchers provided experimental proof of a new dynamic of hybrid solitons– temporally and spectrally stationary light waves resulting...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Leben im Plastikzeitalter: Wie ist ein nachhaltiger Umgang mit Plastik möglich?

21.06.2018 | Veranstaltungen

Kongress BIO-raffiniert X – Neue Wege in der Nutzung biogener Rohstoffe?

21.06.2018 | Veranstaltungen

DFG unterstützt Kongresse und Tagungen im August 2018

20.06.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Leichter abheben: Fraunhofer LBF entwickelt Flugzeugrad aus Faser-Kunststoff-Verbund

22.06.2018 | Materialwissenschaften

Lernen und gleichzeitig Gutes tun? Baufritz macht‘s möglich!

22.06.2018 | Unternehmensmeldung

GFOS und skip Institut entwickeln gemeinsam Prototyp für Augmented Reality App für die Produktion

22.06.2018 | Unternehmensmeldung

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics