GRK 301:  Logik in der Informatik

• Fachliche Zuordnung: Informatik
• Förderung: Förderung von 1997 bis 2006
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 271709

In den letzten Jahren ist es zunehmend deutlich geworden, dassBegriffsbildungen und Methoden der mathematischen Logik in derInformatik mit großem Nutzen angewendet werden können undsollten. Insbesondere Beweistheorie, Modelltheorie, Mengenlehre undTypentheorie haben sich hier als sehr fruchtbar erwiesen, erfordernaber noch gezielteren Zuschnitt. Die Arbeit im Kolleg stellt daraufab, die Anwendbarkeit logischer Methoden beim Entwurf, derSpezifikation, der Verifikation und der Optimierung von Programmen,Programmsystemen und Schaltungen weiter zu verbessern undauszudehnen. In Zusammenarbeit mit beteiligten Industrieunternehmenwerden realistische Problemstellungen aus verschiedenen Strukturebenender Informatik mit dem Arsenal der modernen theoretischen Informatikkonfrontiert. In der Interaktion der einzelnen beteiligtenFachrichtungen ergibt sich dabei eine fruchtbare Synthese ausGrundlagenforschung und Anwendungsnähe.

• DFG-Verfahren: Graduiertenkollegs
• Antragstellende Institution: Ludwig-Maximilians-Universität München
• Beteiligte Institution: Siemens AG; Technische Universität München (TUM)
• Sprecher: Professor Dr. Helmut Schwichtenberg
• beteiligte Wissenschaftler: Professor Dr. Manfred Broy; Professor Dr. Francois Bry; Professor Dr. Helmut Buchholz; Professor Dr. Ulrich Büttner; Professor Dr. Martin Hofmann (†); Professor Dr. Fred Kröger; Professor Tobias Nipkow, Ph.D.; Professor Dr. Hans Jürgen Ohlbach; Professor Dr. Klaus U. Schulz; Professor Dr. Martin Wirsing