Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Saarbrücker Informatiker erhalten rund 1,3 Millionen Dollar von Google

17.12.2010
Mit dem „Google Focused Research Award” fördert der Suchmaschinenanbieter Google Forschungsgebiete, die für das Unternehmen selbst und für die weltweite Informatikerszene von großem Interesse sind.

Der hoch dotierte Forschungspreis wurde jetzt gleich zweimal an Saarbrücker Informatiker vergeben. Professor Andreas Zeller und Gordon Fraser vom Lehrstuhl für Softwaretechnik an der Universität des Saarlandes erhalten 750.000 Dollar, um Softwaretests zu entwickeln, die systematisch alle möglichen Verhaltensweisen von großen Computerprogrammen ausleuchten.

Gerhard Weikum, Direktor am Saarbrücker Max-Planck-Institut für Informatik, und sein Team werden von Google mit 560.000 Dollar unterstützt.

Die Forscher am Max-Planck-Institut wollen Suchmaschinen im Internet so verbessern, dass sie Bedeutungen und Zusammenhänge selbständig erkennen und auch komplizierte Anfragen beantworten können.

Die Saarbrücker Informatiker Andreas Zeller und Gordon Fraser sind Experten, wenn es um die Frage geht, wie man automatisch Fehler in Computerprogrammen mit mehreren Millionen Codezeilen findet. Viele Entwickler stoßen hier bei der Fehlersuche an ihre Grenzen „Herkömmliche Softwaretests funktionieren wie die Suche nach der Nadel im Heuhaufen. Sie finden an verschiedenen Stellen etwas, aber man kann man nie sicher sein, ob man wirklich alle Fehler aufgespürt hat“, beschreibt Andreas Zeller die Herausforderung. Probleme bereiten vor allem die vielfältigen Varianten, mit denen ein Programm ausgeführt werden kann. „Schon bei einem einfachen Textverarbeitungsprogramm muss man testen, ob alle Zeichen korrekt erscheinen, ob ein Drucker angeschlossen ist und welche Papierformate ausgewählt werden können“, nennt der Professor als Beispiel. Ein Entwickler habe dabei häufig keinen Überblick mehr, ob er an alle Verhaltensweisen des Programms gedacht hat.

„Wir wollen daher automatische Tests entwickeln, die systematisch überprüfen, ob eine Software auch an allen Stellen genau das tut, was sie tun soll“, sagt der promovierte Informatiker Fraser, der als Nachwuchsforscher am Lehrstuhl arbeitet. Der Programmierer muss sich dann die Tests nicht mehr selbst ausdenken, sondern muss nur noch prüfen, ob die vorgeschlagenen Tests einen Sinn ergeben. „Mit unserem System werden Computerprogramme vollautomatisch getestet, noch während der Programmierer die Software schreibt. Wir können also sofort Rückmeldung geben, wenn etwas schief läuft“, erklärt der Saarbrücker Informatiker. Als Beispiel nennt er folgenden Warnhinweis für den Entwickler: „Wenn man diese zwei Knöpfe drückt, sind die Daten weg. Soll das so sein?“.

Mit dem Forschungspreis von Google werden Zeller und Fraser vier herausragende Doktoranden der Saarbrücker Graduiertenschule für Informatik, die im Rahmen der Exzellenzinitiative gefördert wird, unterstützen. Sie erhalten freien Zugang zu Werkzeugen und Technologien von Google, um damit die neuartigen Softwaretests auf die Probe zu stellen. Der Suchmaschinenhersteller macht dabei keine Auflagen für die genauen Forschungsinhalte, möchte jedoch kontinuierlich über Fortschritte informiert werden. Alle Rechte an den neuen Entwicklungen bleiben bei der Universität.

Max-Planck-Direktor Gerhard Weikum erforscht mit den Nachwuchsforschern Martin Theobald und Rainer Gemulla, wie Suchmaschinen im Internet weiter verbessert werden können. Statt mit Schlüsselwörtern zu suchen, soll eine wissensorientierte Suchmaschine künftig Fakten und Sinnzusammenhänge selbständig erkennen. „Wenn man heute zum Beispiel wissen will, welche Wissenschaftler welcher deutschen Universitäten wichtige Preise erhalten haben, muss man Tausende von Webseiten lesen und sich Informationen mühsam zusammen suchen. Wir forschen an Suchmaschinen, die auf Knopfdruck ganz schnell auch komplizierte Fragen beantworten können“, erklärt Gerhard Weikum. Dafür müssen Texte und andere Webinhalte analysiert und auf komplexe Weise verarbeitet werden, so dass Rechner Fakten automatisch erkennen und verknüpfen können.

Hintergrund: Die prämierten Wissenschaftler

Andreas Zeller, Professor für Softwaretechnik der Universität des Saarlandes, ist einer der führenden Softwaretechniker in Europa. Zu seinen aktuellen Forschungsthemen gehören neben dem systematischen Testen von Programmen die Analyse von Software-Archiven sowie die Vorhersage von Programmierfehlern. Im Dezember 2010 wurde er als erster Softwaretechniker Deutschlands zum Fellow der größten Informatiker-Organisation der Welt, der „Association for Computing Machinery“ (ACM) ernannt. Zellers Doktoranden werden unter anderem von Google, Microsoft und SAP gefördert.

Gordon Fraser ist Nachwuchsforscher im Team von Professor Zeller an der Universität des Saarlandes. Fraser hat sich intensiv mit dem Verhalten von großen Computerprogrammen beschäftigt. Im Juli diesen Jahres konnte er seine Forschungsarbeit zum Thema “Mutation-driven Generation of Unit Tests and Oracles” auf der ISSTA 2010 (International Symposium on Software Testing and Analysis) in Trento (Italien) präsentieren. Sie zeigt erstmals im Detail, wie automatische Softwaretests die Entwickler direkt bei ihrer Programmierarbeit unterstützen können.

Gerhard Weikum ist einer der fünf Direktoren am Max-Planck-Institut für Informatik in Saarbrücken. Der Forscher ist ACM Fellow, Fellow der Gesellschaft für Informatik und Mitglied der Deutschen Akademie der Technikwissenschaften. Die in Weikums Gruppe entwickelten Methoden zur automatischen Erstellung der großen Wissensbasis YAGO (Yet Another Great Ontology) aus Webquellen haben in akademischer und industrieller Forschung große Aufmerksamkeit erlangt. YAGO ist frei verfügbar, hat mehr als Tausend Downloads pro Monat und wird in zahlreichen Forschungsprojekten weltweit verwendet.

Martin Theobald ist Senior Researcher am Max-Planck-Institut für Informatik und beschäftigt sich mit unsicheren Faktensammlungen. Für seine Doktorarbeit an der Saar-Uni hat er unter anderem die Otto-Hahn-Medaille und den GI-DBIS-Dissertationspreis gewonnen. Das von Martin Theobald entwickelte TopX-System ist eine der besten Open-Source-Suchmaschinen für heterogene XML-Daten und hat mehrfach Benchmark-Wettbewerbe gewonnen. Nach seiner Promotion forschte Theobald zwei Jahre an der Stanford University.

Rainer Gemulla ist Nachwuchsforscher am Max-Planck-Institut für Informatik. Er hat 2008 an der TU Dresden promoviert und war danach zwei Jahre Postdoc am IBM Almaden Research Lab in San Jose. Gemulla hat herausragende Ergebnisse zu statistischen Schätzmethoden für sehr große Datenbanken erzielt. Aktuell beschäftigt er sich mit Methoden, mit denen große multidimensionale Datensammlungen effizient verdichtet und bereinigt werden können.

Fragen beantworten:

Prof. Dr. Andreas Zeller
Lehrstuhl für Softwaretechnik
Tel.: 0681 / 302-70971
E-Mail: zeller@cs.uni-saarland.de
Prof. Dr. Gerhard Weikum
Max-Planck-Institut für Informatik
0681 9325 500
E-Mail: weikum@mpi-inf.mpg.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 | idw
Weitere Informationen:
http://www.uni-saarland.de
http://www.st.cs.uni-saarland.de/zeller/
http://www.mpi-inf.mpg.de/~weikum/

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht Über zwei Millionen für bessere Bordnetze
28.04.2017 | Friedrich-Alexander-Universität Erlangen-Nürnberg

nachricht Innovationspreis 2017 der Deutschen Hochschulmedizin e.V.
24.04.2017 | Deutsche Hochschulmedizin e.V.

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: TU Chemnitz präsentiert weltweit einzigartige Pilotanlage für nachhaltigen Leichtbau

Wickelprinzip umgekehrt: Orbitalwickeltechnologie soll neue Maßstäbe in der großserientauglichen Fertigung komplexer Strukturbauteile setzen

Mitarbeiterinnen und Mitarbeiter des Bundesexzellenzclusters „Technologiefusion für multifunktionale Leichtbaustrukturen" (MERGE) und des Instituts für...

Im Focus: Smart Wireless Solutions: EU-Großprojekt „DEWI“ liefert Innovationen für eine drahtlose Zukunft

58 europäische Industrie- und Forschungspartner aus 11 Ländern forschten unter der Leitung des VIRTUAL VEHICLE drei Jahre lang, um Europas führende Position im Bereich Embedded Systems und dem Internet of Things zu stärken. Die Ergebnisse von DEWI (Dependable Embedded Wireless Infrastructure) wurden heute in Graz präsentiert. Zu sehen war eine Fülle verschiedenster Anwendungen drahtloser Sensornetzwerke und drahtloser Kommunikation – von einer Forschungsrakete über Demonstratoren zur Gebäude-, Fahrzeug- oder Eisenbahntechnik bis hin zu einem voll vernetzten LKW.

Was vor wenigen Jahren noch nach Science-Fiction geklungen hätte, ist in seinem Ansatz bereits Wirklichkeit und wird in Zukunft selbstverständlicher Teil...

Im Focus: Weltweit einzigartiger Windkanal im Leipziger Wolkenlabor hat Betrieb aufgenommen

Am Leibniz-Institut für Troposphärenforschung (TROPOS) ist am Dienstag eine weltweit einzigartige Anlage in Betrieb genommen worden, mit der die Einflüsse von Turbulenzen auf Wolkenprozesse unter präzise einstellbaren Versuchsbedingungen untersucht werden können. Der neue Windkanal ist Teil des Leipziger Wolkenlabors, in dem seit 2006 verschiedenste Wolkenprozesse simuliert werden. Unter Laborbedingungen wurden z.B. das Entstehen und Gefrieren von Wolken nachgestellt. Wie stark Luftverwirbelungen diese Prozesse beeinflussen, konnte bisher noch nicht untersucht werden. Deshalb entstand in den letzten Jahren eine ergänzende Anlage für rund eine Million Euro.

Die von dieser Anlage zu erwarteten neuen Erkenntnisse sind wichtig für das Verständnis von Wetter und Klima, wie etwa die Bildung von Niederschlag und die...

Im Focus: Nanoskopie auf dem Chip: Mikroskopie in HD-Qualität

Neue Erfindung der Universitäten Bielefeld und Tromsø (Norwegen)

Physiker der Universität Bielefeld und der norwegischen Universität Tromsø haben einen Chip entwickelt, der super-auflösende Lichtmikroskopie, auch...

Im Focus: Löschbare Tinte für den 3-D-Druck

Im 3-D-Druckverfahren durch Direktes Laserschreiben können Mikrometer-große Strukturen mit genau definierten Eigenschaften geschrieben werden. Forscher des Karlsruher Institus für Technologie (KIT) haben ein Verfahren entwickelt, durch das sich die 3-D-Tinte für die Drucker wieder ‚wegwischen‘ lässt. Die bis zu hundert Nanometer kleinen Strukturen lassen sich dadurch wiederholt auflösen und neu schreiben - ein Nanometer entspricht einem millionstel Millimeter. Die Entwicklung eröffnet der 3-D-Fertigungstechnik vielfältige neue Anwendungen, zum Beispiel in der Biologie oder Materialentwicklung.

Beim Direkten Laserschreiben erzeugt ein computergesteuerter, fokussierter Laserstrahl in einem Fotolack wie ein Stift die Struktur. „Eine Tinte zu entwickeln,...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Internationaler Tag der Immunologie - 29. April 2017

28.04.2017 | Veranstaltungen

Kampf gegen multiresistente Tuberkulose – InfectoGnostics trifft MYCO-NET²-Partner in Peru

28.04.2017 | Veranstaltungen

123. Internistenkongress: Traumata, Sprachbarrieren, Infektionen und Bürokratie – Herausforderungen

27.04.2017 | Veranstaltungen

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

Über zwei Millionen für bessere Bordnetze

28.04.2017 | Förderungen Preise

Symbiose-Bakterien: Vom blinden Passagier zum Leibwächter des Wollkäfers

28.04.2017 | Biowissenschaften Chemie

Wie Pflanzen ihre Zucker leitenden Gewebe bilden

28.04.2017 | Biowissenschaften Chemie