TMPA-2013: приглашённые докладчики
-
Карпов Юрий Глебович,
д. т. н., профессор, заведующий кафедрой «Распределенные вычисления и компьютерные сети» СПбПУ
Тема: Верификация параллельных программ современный этап и перспективы
-
Захаров Владимир Анатольевич,
д.ф.-м.н., доцент кафедры МК, зав. лабораторией МПКБ
Тема доклада: Математические аспекты задачи обфускации программ