GRK 623:  Quality Guarantees for Computer Systems

• Subject Area: Computer Science
• Term: from 2000 to 2009
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 273089

The research in the research training group aims at a comprehensive and rigorous notion of quality guarantees that comprises predictableruntime, provable correctness, and adequate accuracy. This challenging theme is addressed in the form of special, particularly important and potentially insightful, problems from a variety of areas: computer graphics, database and information systems, computer networking, efficient algorithms, cryptography and computer security, logic of programming, programming languages and compilers, programming, computer architecture, image processing, and software engineering.Example problems where especially the tensions among the above three quality dimensions are of high interest include efficiency issues in computer-aided verification, e.g., of security properties, analytical techniques towards response-time guarantees of real-time systemsand network applications, and a deeper understanding of the tradeoffsbetween the efficiency and the precision of information retrieval in digital libraries and on the web.

• DFG Programme: Research Training Groups
• Applicant Institution: Universität des Saarlandes
• Spokesperson: Professor Dr. Raimund Seidel
• Participating Researchers: 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.