GRK 623:  Leistungsgarantien für Rechnersysteme

• Fachliche Zuordnung: Informatik
• Förderung: Förderung von 2000 bis 2009
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 273089

Das Forschungsprogramm des Graduiertenkollegs zielt auf einen umfassenden, rigorosen Begriff von Leistungsgarantien, der die Aspekte der vorhersagbaren Laufzeit, beweisbaren Korrektheit und hinreichenden Güte umfasst. Dieses Leitthema wird anhand besonders wichtiger und herausfordernder Problemstellungen untersucht, an denen Arbeitsgruppen der folgenden Gebiete arbeiten: Computergraphik, Datenbanken und Informationssysteme, Datennetze, effiziente Algorithmen, Kryptographie und Computersicherheit, Logik der Programmierung, Programmiersprachen und Übersetzer, Programmierung, Rechnerarchitektur, Bildverarbeitung und Softwaretechnik.Beispielprobleme, bei denen besonders die Spannungen zwischen den drei Leitbegriffen im Blickpunkt stehen, sind Effizienzfragen bei der computergestützten Verifikation (z.B. von Sicherheitseigenschaften),analytische Techniken für Antwortzeitgarantien in Echtzeitsystemen und verteilten Anwendungen und ein tieferes Verständnis des Zielkonflikts zwischen Effizienz und Präzision bei der Informationssuche in digitalen Bibliotheken und im Web.

• DFG-Verfahren: Graduiertenkollegs
• Antragstellende Institution: Universität des Saarlandes
• Sprecher: Professor Dr. Raimund Seidel
• beteiligte Wissenschaftler: Professor Dr. Friedrich Eisenbrand; Professor Dr. Bernd Finkbeiner; Professor Dr.-Ing. Holger Hermanns; Professor Dr. Kurt Mehlhorn; Professor Dr. Wolfgang Paul; Professor Dr. Andreas Podelski; Professor Dr. Hans-Peter Seidel; Professor Dr.-Ing. Philipp Slusallek; Professor Dr. Gert Smolka; Professor Dr. Joachim Weickert; Professor Dr. Gerhard Weikum; Professor Dr. Reinhard Wilhelm; Professor Dr.-Ing. Andreas Zeller, Ph.D.