Савченко Валерий Валерьевич
Направление подготовки: 09.06.01 «Информатика и вычислительная техника».
Направленность (специальность): 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
Дата зачисления: 01 октября 2014 года.
Приказ о зачислении: 10-у от 30.09.2014 года.
Срок окончания аспирантуры: 30 сентября 2018 года.
Форма обучения: очная.
Экзамены
Педагогика высшей школы: отлично, июнь 2016 года.
Кандидатские экзамены
История и философия науки: отлично, 23.06.2015.
Иностранный язык: отлично, 2015 год.
Специальность 05.13.11: отлично, 1 июня 2016 года.
Достижения в научно-исследовательской деятельности
Тема диссертационного исследования: Применение методов машинного обучения при статическом анализе программ.
Утверждена на заседании Учёного совета ИСП РАН: Протокол №2014-13 от 26.12.2014 года.
Научный руководитель: Гайсарян Сергей Суренович, к.ф.-м.н., доцент.
Сведения о планируемой диссертационной работе
Методы машинного обучения получают широкое распространение во многих научных областях, однако, практически не задействованы при статическом анализе кода. Данные методы могут быть полезны в задачах, в которых классические методы неприменимы. Например, фильтрация ложных срабатываний статического анализатора на основе маркирования пользователя, генерация документации и примеров использования, обнаружение дефектов, специфичных лишь, для определенных сценариев использования (например, при работе с паролями) и др.
Целью диссертационной работы является разработка инструмента (набора инструментов), использующего методы машинного обучения в связке с классическими структурами из теории компиляторостроения.
Основными задачами для выполнения поставленной цели является анализ и адаптация существующих алгоритмов к данным о программном коде (абстрактное синтаксическое дерево, внутреннее представление, граф вызовов и пр.).