©
Arne Meier
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.
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.
