Forschung

Forschung

Die Forschungsschwerpunkte des Institutes für Theoretische Informatik liegen in den Bereichen der Komplexitätstheorie (Untersuchungen des Schweregrades von bestimmten Berechnungsproblemen bzgl. Laufzeit oder Speicheraufwand), der effizienten Algorithmen (Suche nach effizienten Lösungsverfahren für bestimmte Berechnungsprobleme), der formalen Sprachen (Struktur von künstlichen Sprachen wie z. B. Programmiersprachen) und der Anwendungen der mathematischen Logik in der Informatik.

Letzte Änderung: 24.01.2014
 
Verantwortlich Webmaster