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