Lehrstuhl für Informatik mit Schwerpunkt Theoretische Informatik - Prof. Dr. Ignaz Rutter