Arbeitsgruppe Zuverlässige Systeme

Mike Müllers Dissertation verteidigt

28.11.2014

Mike Müller hat heute seine Dissertation "Avoiding and Enforcing Repetitive Structures in Words" mit Erfolg verteidigt. Der externe Opponent war Narad Rampersad, University of Winnipeg, Kanada. Herr Müller wird damit die erste in unserer Arbeitsgruppe promovierte Person sein. Herzlichen Glückwunsch!