В пятницу 6 апреля в ИСИ СО РАН состоялось очередное заседание диссертационного совета. К защите были представлены две кандидатские диссертации.
1. Марьясова Ильи Владимировича
«Верификация С-программ с помощью смешанной аксиоматической семантики».
Руководитель: В.А. Непомнящий.
2. Чиркунова Кирилла Сергеевича
«Мультиагентный подход и моделирование поведения взаимодействующих иерархических систем экономической природы».
Руководители: Т.Н. Есикова, Ф.А. Мурзин
Защиты назначены на 14 мая
15:00 - К.С. Чиркунов,
16:00 - И.В. Марьясов.