Антон Подкопаев

Биография

Антон получил звание к. ф.-м. н. в 2018 году. В 2014 году он окончил с красным дипломом программу обучения на кафедре системного программирования математико-механического факультета СПбГУ. Окончил физико-математический лицей №239 в 2009 году, затем в течение двух лет вел в нем кружок по разработке компьютерных игр.

Ранее, Антон преподавал на кафедре системного программирования СПбГУ и кафедре математических и информационных технологий Академического университета.

Персональный сайт: podkopaev.net

Google scholar

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

Разработка и реализация языков программирования, pretty-printing, функциональное программирование, семантика, слабые модели памяти, сертификационное программирование.

Научное руководство

Алексей Коровянский, «Абстрактная печать по образцу». Бакалаврская работа защищена на кафедре системного программирования СПбГУ в 2015 году.

Публикации