Graduiertenkolleg ``Logik in der Informatik''

Am 1. April 1997 wird an der Ludwig-Maximilians-Universität München und der Technischen Univerität München ein aus Mitteln der Deutschen Forschungsgemeinschaft und des Freistaates Bayern finanziertes Graduiertenkolleg mit dem Thema ``Logik in der Informatik'' eingerichtet. Die Arbeit im Kolleg zielt darauf ab, die Anwendbarkeit logischer Methoden beim Entwurf, der Spezifikation, der Verifikation und der Optimierung von Programmen, Programmsystemen und Schaltungen weiter zu verbessern und auszudehnen.

Forschungsschwerpunkte

Logische Grundlagen, insbesondere Lambda-Kalkül, Gleichungslogik, Temporale Logik, Model Checking. ( Buchholz, Büttner, 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, Büttner, 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)

Zum 1. April 1997 sind im Rahmen des Graduiertenkollegs 6 Doktorandenstipendien für drei Jahre zu vergeben. Anfragen sind möglichst bald, Bewerbungen bis zum 15. Februar 1997 zu richten an den Sprecher des Graduiertenkollegs Prof. Helmut Schwichtenberg, Mathematisches Institut der LMU, Theresienstr. 39, D-80333 München, Tel. +49 89 2394 4413/4, Fax +49 89 280 5248, E-mail: schwicht@rz.mathematik.uni-muenchen.de. Als Bewerbungsunterlagen werden erbeten: Lebenslauf, Kopie des Abschlusszeugnisses (evtl. auch vorläufiger Bescheid), ein Exemplar der Abschlussarbeit (und ggf. weitere wissenschaftliche Arbeiten), Beschreibung des Promotionsvorhabens, Gutachten zweier Hochschullehrer.