Graduiertenkolleg ,,Logik in der Informatik``
Next: Die studentische Fachschaft
Up: Die Graduiertenkollegs
Previous: Graduiertenkolleg,Mathematik im
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
Dauer: Ab 1.4.97 für 9 Jahre. Erster
Bewilligungszeitraum 3 Jahre.
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).
Hauber
Wed Nov 20 16:14:16 MET 1996