Даниил Степанов
Компания: Veai
Кандидат технических наук, работаю преподавателем в ИТМО и компании Veai. Область научных интересов: статический и динамический анализ ПО.
В Veai, занимающейся разработкой плагина, внедряющего LLM-ассистента в IntelliJ-based IDE, я работаю в R&D-отделе, изучающем формальные методы анализа кода.
