
Даниил Степанов
Исследовательские группы
Биография
Аспирант 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)