GRK 301:  Logic in Computer Science

• Subject Area: Computer Science
• Term: from 1997 to 2006
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 271709

In recent years it became clear that notions and methods ofmathematical logic can be fruitfully applied to computer science. Thevery fields of pure logic (proof, model, set, recursion and typetheory) that very formerly considered as abstract mathematics turn outto provide elegant frames and solutions for the current tasks ofcomputer design and programming such as programming languagecorrectness, hard- and software verification and softwareengineering. In cooperation with the industry realistic problems areconfronted with the machinery of theoretical computers science asderived from logical concepts, aiming at a synthesis of foundationalresearch and applied science by interaction of the involveddisciplines.

• DFG Programme: Research Training Groups
• Applicant Institution: Ludwig-Maximilians-Universität München
• Participating Institution: Siemens AG; Technische Universität München (TUM)
• Spokesperson: Professor Dr. Helmut Schwichtenberg
• Participating Researchers: 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