Поздравляем преподавателя кафедры Владимира Ивановича Шелехова с получением гранта (http://www.nsu.ru/e58d17ab942a48e6d7c01d98c495c093) стипендиальной программы Владимира Потанина 2015–2016 (http://stipendia.ru/grants) на разработку годового специального курса для магистрантов "Формальные методы в программной инженерии"(http://persons.iis.nsk.su/en/persons/vshel/fmcfiles)!
Кроме Владимира Ивановича коллектив преподавателей, участвующих в разработке курса, включает следующих сотрудников ИСИ СО РАН: Н.О. Гаранину, Д.К. Пономарёва, Н.В. Шилова и М.С. Чушкина.