
Михаил Костицын
Исследовательские группы
Биография
В 2015 году поступил на математико-механический факультет СПбГУ.
В 2017 году зачислен на кафедру системного программирования.
На данный момент занимается символьным исполнением программ со строками.
Профессиональная активность
- Инструменты автоматизированного анализа кода
- Функциональное программирование
- Анализ строк
- Анализ кучи