Аспирантура ИСП РАН


Васильев Антон Александрович

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

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

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

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

Иностранный язык: отлично, июнь 2016 года.
Педагогика высшей школы: отлично, июнь 2016 года.
История и философия науки: отлично, июнь 2017 года.

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

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