Аспирант Савченко Валерий Валерьевич


Савченко Валерий Валерьевич

Направление подготовки: 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 года.
Научный руководитель: Гайсарян Сергей Суренович, к.ф.-м.н., доцент.

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

Методы машинного обучения получают широкое распространение во многих научных областях, однако, практически не задействованы при статическом анализе кода. Данные методы могут быть полезны в задачах, в которых классические методы неприменимы. Например, фильтрация ложных срабатываний статического анализатора на основе маркирования пользователя, генерация документации и примеров использования, обнаружение дефектов, специфичных лишь, для определенных сценариев использования (например, при работе с паролями) и др.

Целью диссертационной работы является разработка инструмента (набора инструментов), использующего методы машинного обучения в связке с классическими структурами из теории компиляторостроения.

Основными задачами для выполнения поставленной цели является анализ и адаптация существующих алгоритмов к данным о программном коде (абстрактное синтаксическое дерево, внутреннее представление, граф вызовов и пр.).