Image © ph1

Das Institut für Theoretische Informatik

Unser Institut beschäftigt sich mit den theoretischen Aspekten der Informatik, insbesondere der formalen Modellierung und Analyse künstlicher Systeme. In Zusammenspiel mit seinem reichhaltigen Lehrangebot deckt es inhaltlich die wesentlichen Aspekte theoretischer Fragen in der Informatik ab.

Details Das Institut für Theoretische Informatik