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 Gewebe mit Hilfe von Stammzellen regenerieren
16.10.2017 | Albert-Ludwigs-Universität Freiburg im Breisgau

nachricht Dr. Philipp Schommers erhält Förderpreis für Klinische Infektionsforschung
16.10.2017 | Uniklinik Köln

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: Smarte Sensoren für effiziente Prozesse

Materialfehler im Endprodukt können in vielen Industriebereichen zu frühzeitigem Versagen führen und den sicheren Gebrauch der Erzeugnisse massiv beeinträchtigen. Eine Schlüsselrolle im Rahmen der Qualitätssicherung kommt daher intelligenten, zerstörungsfreien Sensorsystemen zu, die es erlauben, Bauteile schnell und kostengünstig zu prüfen, ohne das Material selbst zu beschädigen oder die Oberfläche zu verändern. Experten des Fraunhofer IZFP in Saarbrücken präsentieren vom 7. bis 10. November 2017 auf der Blechexpo in Stuttgart zwei Exponate, die eine schnelle, zuverlässige und automatisierte Materialcharakterisierung und Fehlerbestimmung ermöglichen (Halle 5, Stand 5306).

Bei Verwendung zeitaufwändiger zerstörender Prüfverfahren zieht die Qualitätsprüfung durch die Beschädigung oder Zerstörung der Produkte enorme Kosten nach...

Im Focus: Smart sensors for efficient processes

Material defects in end products can quickly result in failures in many areas of industry, and have a massive impact on the safe use of their products. This is why, in the field of quality assurance, intelligent, nondestructive sensor systems play a key role. They allow testing components and parts in a rapid and cost-efficient manner without destroying the actual product or changing its surface. Experts from the Fraunhofer IZFP in Saarbrücken will be presenting two exhibits at the Blechexpo in Stuttgart from 7–10 November 2017 that allow fast, reliable, and automated characterization of materials and detection of defects (Hall 5, Booth 5306).

When quality testing uses time-consuming destructive test methods, it can result in enormous costs due to damaging or destroying the products. And given that...

Im Focus: Cold molecules on collision course

Using a new cooling technique MPQ scientists succeed at observing collisions in a dense beam of cold and slow dipolar molecules.

How do chemical reactions proceed at extremely low temperatures? The answer requires the investigation of molecular samples that are cold, dense, and slow at...

Im Focus: Kalte Moleküle auf Kollisionskurs

Mit einer neuen Kühlmethode gelingt Wissenschaftlern am MPQ die Beobachtung von Stößen in einem dichten Strahl aus kalten und langsamen dipolaren Molekülen.

Wie verlaufen chemische Reaktionen bei extrem tiefen Temperaturen? Um diese Frage zu beantworten, benötigt man molekulare Proben, die gleichzeitig kalt, dicht...

Im Focus: Astronomen entdecken ungewöhnliche spindelförmige Galaxien

Galaxien als majestätische, rotierende Sternscheiben? Nicht bei den spindelförmigen Galaxien, die von Athanasia Tsatsi (Max-Planck-Institut für Astronomie) und ihren Kollegen untersucht wurden. Mit Hilfe der CALIFA-Umfrage fanden die Astronomen heraus, dass diese schlanken Galaxien, die sich um ihre Längsachse drehen, weitaus häufiger sind als bisher angenommen. Mit den neuen Daten konnten die Astronomen außerdem ein Modell dafür entwickeln, wie die spindelförmigen Galaxien aus einer speziellen Art von Verschmelzung zweier Spiralgalaxien entstehen. Die Ergebnisse wurden in der Zeitschrift Astronomy & Astrophysics veröffentlicht.

Wenn die meisten Menschen an Galaxien denken, dürften sie an majestätische Spiralgalaxien wie die unserer Heimatgalaxie denken, der Milchstraße: Milliarden von...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Meeresbiologe Mark E. Hay zu Gast bei den "Noblen Gesprächen" am Beutenberg Campus in Jena

16.10.2017 | Veranstaltungen

bionection 2017 erstmals in Thüringen: Biotech-Spitzenforschung trifft in Jena auf Weltmarktführer

13.10.2017 | Veranstaltungen

Tagung „Energieeffiziente Abluftreinigung“ zeigt, wie man durch Luftreinhaltemaßnahmen profitieren kann

13.10.2017 | Veranstaltungen

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

ESO-Teleskope beobachten erstes Licht einer Gravitationswellen-Quelle

16.10.2017 | Physik Astronomie

Was läuft schief beim Noonan-Syndrom? – Grundlagen der neuronalen Fehlfunktion entdeckt

16.10.2017 | Biowissenschaften Chemie

Gewebe mit Hilfe von Stammzellen regenerieren

16.10.2017 | Förderungen Preise