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

Биография

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

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

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