Willkommen in der Theoretischen Informatik

Willkomen beim Arbeitsbereich für Formale Sprachen/Theoretische Informatik. Dieser Arbeitsbereich wird von Prof. Klaus-Jörn Lange geleitet. Wie der Name schon sagt, beschäftigen wir uns mit den mathematischen Grundlagen der theoretischen Informatik. Mehr über uns und das Lehrangebot finden Sie hier.

Die Theoretische Informatik behandelt die mathematischen Grundlagen und formale Methoden der Informatik. Wie der Name des Lehrstuhls andeutet, spielen die Formalen Sprachen dabei eine zentrale Rolle.