28-го декабря, во вторник, в кабинете директора института, состоятся защиты кандидатских диссертаций.
- 14.00. Промский Алексей Владимирович, тема "Формальная семантика C-light программ и их верификация методом Хоара", науч. руководитель Непомнящий В.А.;
- 15.00. Гаранина Наталья Олеговна, тема "Верификация распределенных систем с использованием аффинного представления данных, логик знаний и действий", науч. руководитель Шилов Н.В.;
- 16.00. Грибовская Наталья Сергеевна, тема "Теоретико-категорное исследование эквивалентностей параллельных моделей с реальным временем", науч. руководитель Вирбицкайте И.Б.