Даниил Степанов

Даниил Степанов


Исследовательские группы

Биография

Аспирант 3 курса Санкт-Петербургского политехнического университета Петра Великого высшей школы интеллектуальных систем и суперкомпьютерных технологий. В 2016 году с отличием окончил бакалавриат университета. Тема выпускной работы - "Аппроксимация функций для задач статического анализа". В 2018 году с отличием окончил магистратуру университета. Тема выпускной работы - "Исследование и разработка средств редукции программ на языке Kotlin"

В данный момент занимаюсь работой на кандидатской диссертацией на тему: "Фаззинг комплитора языка Kotlin"

Профессиональная активность

Преподаю программирование студентам 1-го курса

Публикации

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler

2019

Daniil Stepanov, Marat Akhin, Mikhail Belyaev

ASE 2019

Подробнее

Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer

2017

Azat Abdullin, Daniil Stepanov, Marat Akhin

TMPA 2017: Tools and Methods of Program Analysis (pp. 1--10)

Подробнее