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

Биография

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

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

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

Google scholar

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

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

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

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

Публикации