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