Поздравляем Владимира Ивановича Шелехова с получением гранта стипендиальной программы Владимира Потанина 2015–16 на разработку годового специального курса "Формальные методы в программной инженерии" для магистрантов кафедры Программирования ММФ НГУ.
Коллектив преподавателей курса состоит из следующих сотрудников ИСИ СО РАН: В.И. Шелехов, Н.О. Гаранина, Д.К. Пономарёв, Н.В. Шилов и М.С. Чушкин.