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

Биография

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

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

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