Theoretische Informatik

Theoretische Informatik ist eine Kernspezialisierung innerhalb der Disziplin Informatik-Grundlagen, die Teil des breiteren akademischen Feldes Informatik & IT ist. Sie konzentriert sich auf die mathematischen und konzeptuellen Grundlagen der Berechnung: Berechenbarkeit, Komplexitätstheorie, Automaten und formale Sprachen, Logik, Informationstheorie und Berechnungsmodelle. Studierende der Theoretischen Informatik lernen, Berechnungsprobleme zu formalisieren, rigorose Beweise zu konstruieren und zu verifizieren, über Ressourcen wie Zeit und Raum nachzudenken und Abstraktionen zu entwickeln, die Algorithmen, Programmiersprachen, Kryptographie und formale Verifikation untermauern.

Da Softwaresysteme skalieren und neue Berechnungsparadigmen entstehen, liefert die Theoretische Informatik die beweisbaren Garantien und konzeptuellen Werkzeuge, die für den Entwurf robuster, effizienter und sicherer Systeme benötigt werden. Forschung und Lehre in diesem Bereich treiben Fortschritte in algorithmischen unteren und oberen Schranken, randomisierten und Approximationstechniken, kryptographischen Härteannahmen und Grundlagen der Quantenberechnung voran.