コンラート・ツーゼ
and computational complexity theory. In 1987, he received the Gottfried Wilhelm Leibniz Prize of the Deutsche Forschungsgemeinschaft, which is the highest honour awarded in German research. In 1999 he was awarded the Konrad Zuse Medal of the Gesellschaft für Informatik.