Заседание диссертационного совета по компьютерным наукам
Принять к защите диссертацию Герасимовой Ольги Александровны на тему "Онтологический доступ к данным с использованием дизъюнктивных аксиом", представленную на соискание учёной степени кандидата компьютерных наук и утвердить комитет по диссертации в составе:
1. Калягин Валерий Александрович - д.ф.-м.н., профессор, НИУ ВШЭ в Нижнем Новгороде, заведующий лабораторией алгоритмов и технологий анализасетевых структур НИУ ВШЭ в Нижнем Новгороде,профессор кафедры прикладной математики и информатикифакультета информатики, математики и компьютерныхнаук НИУ ВШЭ в Нижнем Новгороде, председатель.
2. Беклемишев Лев Дмитриевич - д.ф.-м.н., Академик РАН, Математический институт им. В.А.Стеклова РАН, главный научный сотрудник, зав. отделом математической логики.
3. Пальчунов Дмитрий Евгеньевич - д.ф.-м.н., доцент, ФГБУН Институт математики им. С.Л.Соболева Сибирского отделения РАН, ведущий научный сотрудник лаборатории теории вычислимости и прикладной логики.
4. Муромцев Дмитрий Ильич - к.т.н., доцент, ИТМО, доцент факультета программной инженерии и компьютерной техники.
5. Дробышевский Михаил Дмитриевич - к.ф.-м.н., Институт системного программирования им. В.П. Иванникова РАН, научный сотрудник отдела информационных систем.