In 1976 he became Professor for Theoretical Computer Science (Informatics).
وفي عام 1976 أصبح أستاذاً لعلوم الكمبيوتر النظرية (المعلوماتية).