MIN Faculty
Department of Informatics
Theoretical Foundations of Computer Science

TGI-Coloquium and Announcements

Theoretical studies and basic research have become indispensable due to the rapid technological development in the field of computer science and the increasing application of information processing. Therefore an important subject of our group is the analysis of complex systems by means of formal models. To achieve this goal we need to deal with correctness of presentation (syntax), correctness of content (semantics), conformity to specifications (verification), and efficient implementation (complexity).

Our group is also involved in non-formal basic research of computer science (aims and goals of computer science, links to theory of cognition, links to philosophy, the problem of software correctness, socionics).

Additonally, the group is engaged in the context of innovative teaching concepts. The group was in charge for both projects of the department that were part of the Lehrlabor in Summer 2013.

Fachbereich Informatik
Arbeitsbereich TGI
Vogt-Kölln-Straße 30     
22527 Hamburg

Building C, 1st Floor
040 / 42883-2407

040 / 42883-2246
Business hours of the
secretary's office:

Mon: 10:00 - 16:00
Tue: 10:00 - 16:00
Wed: 10:00 - 16:00
Thu: closed
Fri: 10:00 - 14:00
Sprechstunden (Vorlesungszeit)
R. Valk nach Vereinbarung per E-Mail
M. Köhler-Bußmeier nach Vereinbarung per E-Mail
D. Moldt nach Vereinbarung per E-Mail
M. Kufleitner nach Vereinbarung per E-Mail