Die schnelle technologische Entwicklung und der zunehmende Einsatz von Informatiksystemen machen theoretische Studien und Grundlagenforschung immer notwendiger, um ein fundiertes Verständnis und die korrekte Funktionsweise dieser Systeme sicherzustellen.

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 (Algorithmen und 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, Sozionik).

Daneben engagiert sich der Arbeitsbereich im Bereich innovativer Lehrkonzepte. So war der Arbeitsbereich im Sommersemester 2013 an zwei und im Sommersemester 2014 an einem weiteren Projekt involviert, die vom Lehrlabor gefördert wurden.