Head of Division
(as of November 2010):
Dr. Michael Köhler-Bußmeier, PD
Obituary: Manfred Kudlek, 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).
Our group is an active member of the Herold project for distributed network security (Federal Ministry of Education and Research Grant No. 01BS0901).
|
Fachbereich Informatik Arbeitsbereich TGI Vogt-Kölln-Straße 30 22527 Hamburg Building C, 1st Floor |
Tel: 040 / 42883-2407 Fax: 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)
|
