В четверг 29 апреля в 17.00 в ИСИ СО РАН состоялось заседание диссертационного совета. Были представлены к защите диссертации на соискание ученой степени к.ф.-м.н.:
- Тарабухиной Надежды Константиновны "Методы извлечения бизнес-логики на основе семантических свойств программ".
Научный руководитель: Бульонков Михаил Алексеевич. - Идрисова Рената Искандеровича "Межпроцедурный анализ и распараллеливание потоковых программ на базе графа исполнений вызовов".
Научные руководители: Евстигнеев Владимир Анатольевич, Касьянов Виктор Николаевич.
Защиты диссертаций состоятся 16 июня 2010 г.
Тарабухиной Надежды Константиновны - в 14.30 час.
Идрисова Рената Искандеровича - в 15.30 час.