Kommissarischer Leiter
(seit November 2010):
Dr. Michael Köhler-Bußmeier, PD
TGI-Oberseminar und Ankündigungen
Die schnelle technologische Entwicklung und der zunehmende Einsatz von Informatiksystemen machen theoretische Studien und Grundlagenforschung immer notwendiger.
Ein wichtiger Schwerpunkt des Arbeitsbereichs TGI ist daher die Untersuchung von komplexen Systemen auf der Grundlage formaler Modelle. Dabei stehen folgende Problemkreise im Vordergrund: korrekte Darstellung (Syntax), inhaltliche Korrektheit (Semantik), Erfüllung von Spezifikationen (Verifikation) und effiziente Realisierung (Komplexität).
Der Arbeitsbereich ist darüberhinaus an der nichtformalen Informatik-Grundlagenforschung beteiligt (Selbstverständnis, erkenntnistheoretische und philosophische Bezüge, Auswirkungen von Problemen der Softwarekorrektheit).
Weiterhin ist der Arbeitsbereich Projektbeteiligter im Herold Projekt für verteilte Netzwerksicherheit (Bundesministerium für Bildung und Forschung Förderkennzeichen 01BS0901).
|
Fachbereich Informatik Arbeitsbereich TGI Vogt-Kölln-Straße 30 22527 Hamburg Haus C, 1. Stock |
Tel: 040 / 42883-2407 Fax: 040 / 42883-2246 |
Öffnungszeiten des Sekretariats: Mo: 10:00 - 16:00 Di: 10:00 - 16:00 Mi: 10:00 - 16:00 Do: geschlossen Fr: 10:00 - 14:00 |
Sprechstunden (Sommer 2012, Vorlesungszeit)
|
