Юрий Костюков

Юрий Костюков


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

Биография

Выпускник СУНЦ УрФУ'15. В 2017/2018 учебном году стал частью команды разработчиков символьной виртуальной машины .NET. В 2019 году окончил с отличием математико-механический факультет СПбГУ по направлению «Программная инженерия», кафедра системного программирования. В 2021 окончил магистратуру по тому же направлению.

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

  • Интерактивные средства доказательства теорем
  • Системы типов и логики
  • Анализ динамической памяти
  • Дизъюнкты Хорна и функциональные программы высшего порядка

Публикации

Beyond the elementary representations of program invariants over algebraic data type

2021

Kostyukov Yurii, Dmitry Mordvinov, and Grigory Fedyukovich