Graduiertenkolleg ,,Logik in der Informatik``

Sprecher: Prof. Dr. H. Schwichtenberg (Mathematik)

Forschungsprogramm

Das wissenschaftliche Programm des Graduiertenkollegs ,,Logik in der Informatik'ïst die Anwendung logischer Begriffsbildungen und Methoden beim Entwurf, der Spezifikation, der Verifikation und der Optimierung von Programmen, Programmsystemen und Schaltungen. Es gliedert sich in die folgenden Schwerpunkte und Arbeitsgebiete:

• Logische Grundlagen, insbesondere der Lambda-Kalkül, Gleichungslogik, temporale Logik, model checking. (Buchholz, Buttner, Clote, Kröger, Nipkow, Schulz, Schwichtenberg)

• Theorembeweiser, insbesondere Integration von Gleichungstheorien auch höherer Ordnung, Kombination von Theorembeweisern und Spezialverfahren. (Buchholz, Clote, Nipkow, Schulz, Schwichtenberg)

• Modellierung insbesondere verteilter Systeme. (Broy, Buttner, Kröger, Wirsing)

• Spezifikation und Verifikation. (Antreich, Broy, Clote, Kröger, Nipkow, Schwichtenberg, Wirsing)

• Grundlagen der Software-Technik, insbesondere Modularisierung und Wiederverwendung von Programmeinheiten, Verwendung von Kalkülen beim Entwurf und bei der Optimierung von Programmen, Programmsystemen und Schaltungen. (Antreich, Broy, Wirsing)

Information auf einem Blick

Träger: Kurt Antreich (Elektrotechnik, TU), Manfred Broy (Informatik, TU), Wilfried Buchholz (Mathematik, LMU), Peter Clote (Informatik, LMU), Fred Kröger (Informatik, LMU), Tobias Nipkow (Informatik, TU), Klaus U. Schulz (CIS, LMU), Helmut Schwichtenberg (Mathematik, LMU, Sprecher), Martin Wirsing (Informatik, LMU), sowie als assoziierter Partner Wolfram Buttner (Siemens, Informatik, Uni-Kaiserslautern).