In der theoretische Informatik befassen wir uns den Prinzipien und mathematischen Grundlagen der Berechnung. Ziel ist es, zu verstehen, was Computer leisten können, wie effizient sie das tun und wie man ihre Fähigkeiten optimal nutzt. Die Theoretische Informatik bildet die Grundlage für viele praktische Anwendungen wie die formale Kategorisierung von Programmiersprachen, die Klassifizierung von Algorithmen, und die Entwicklung sicherer Software.