Institut für Theoretische Informatik, KIT