Constructive Computer Science at ETH Zuerich Jürg Gutknecht, Prof. ETH Zürich, November 2025

[Cliver F]

На юбилейном Международном конгрессе «Современные проблемы компьютерных и информационных наук» в МГУ 20 ноября с пленарным он-лайн докладом выступил швейцарский профессор Юрг Гуткнехт - "Constructive Computer Science at ETH Zuerich", посвятивший доклад истории развития компьютинга в ETH (Цюрих) и проектам Никласа Вирта. Текст доклада в прикрепленном файле.
Напомню, Никлаус Вирт и Юрг Гуткнехт были на моей первой конференции в Москве в 2005 году и выступали с пленарными докладами, а на следующий день я организовывал им встречу-семинар со студентами нашего факультета. За последние три года Юрг трижды выступал на нашем конгрессе. За дружбу и честность Юргу большое спасибо.