Aktuelle Informationen zu TGI (Sprechstunden, Oberseminar, ...)

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), effiziente Realisierung (Komplexität). Der Arbeitsbereich ist darüber hinaus an der nichtformalen Informatik-Grundlagenforschung beteiligt (Selbstverständnis, erkenntnistheoretische und philosophische Bezüge, Auswirkungen von Problemen der Softwarekorrektheit).

Im DFG-Projekt Sozionik werden informatische Theorie und Praxis und interdisziplinäre Arbeiten zusammengeührt.

Das Projekt SISOL untersucht Soziologische und Informatische Szenarien in der online-gestützten Lehre.

Ankündigungen

Forschung

Lehre

Mitarbeiterinnen und Mitarbeiter

Studentinnen und Studenten

Publikationen

Service

Tools