Михаил Костицын

Биография

В 2015 году поступил на математико-механический факультет СПбГУ.

В 2017 году зачислен на кафедру системного программирования.

На данный момент занимается символьным исполнением программ со строками.

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

  • Инструменты автоматизированного анализа кода
  • Функциональное программирование
  • Анализ строк
  • Анализ кучи