Аспирант Щепетков Илья Викторович

Щепетков Илья Викторович

Направление подготовки: 09.06.01 «Информатика и вычислительная техника».
Направленность (специальность): 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
Дата зачисления: 01 октября 2015 года.
Приказ о зачислении: 11-у от 23.09.2015 года.
Срок окончания аспирантуры: 30 сентября 2019 года.
Форма обучения: очная.

Научные публикации до поступления в аспирантуру

1. Диагностика синтаксической совместимости правил корректности с ядром ОС Linux при статической верификации драйверов. Новиков Е.М., Щепетков И.В. Сборник научных трудов Научно-практической конференции «Актуальные проблемы системной и программной инженерии», 2013, стр. 192-201.
2. Метод автоматической адаптации спецификаций правил корректности. Илья Щепетков. Сборник тезисов XXI Международной научной конференции студентов, аспирантов и молодых учёных «ЛОМОНОСОВ-2014», стр. 124-126.
3. Rodin — платформа для разработки и верификации моделей на Event-B. Илья Щепетков. Тезисы докладов одиннадцатой конференции разработчиков свободных программ, стр. 50-52.
4. Formal Verification of OS Security Model with Alloy and Event-B. Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov. Proceedings of the 4th International Conference, ABZ 2014, pages 309-314.
5. Using refinement in formal development of OS security model. Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov. Proceedings of the Ershov Informatics Conference (the PSI Conference Series, 10th edition).

Экзамены

Педагогика высшей школы: отлично, июнь 2016 года.

Кандидатские экзамены

Иностранный язык: отлично, июнь 2016 года.
История и философия науки: отлично, июнь 2017 года.
Специальность 05.13.11: отлично, 29 сентября 2017 года.

Достижения в научно-исследовательской деятельности

Тема диссертационного исследования: Спецификация и верификация моделей информационных потоков в операционных системах.
Утверждена на заседании Учёного совета ИСП РАН: Протокол №2015-15 от 25.12.2015 года.
Научный руководитель: Хорошилов Алексей Владимирович, к.ф.м.н.

Сведения о планируемой диссертационной работе

Операционная система — важнейший компонент совокупности средств, составляющих программное обеспечение компьютера. Одной из обязанностей операционной системы является управление доступами к данным, которые зачастую описываются в терминах информационных потоков. Существует класс операционных систем специального назначения, для которых данная обязанность становится приоритетной в силу высокой важности и конфиденциальности обрабатываемой ими информации. Таким образом, актуальной является задача спецификации и верификации моделей информационных потоков, которой и посвящена данная работа.