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

Биография

Антон возглавляет научную группу, посвященную слабым моделям памяти, в JetBrains Research. Он также является постдоком в MPI-SWS и доцентом в НИУ ВШЭ (СПб). Антон получил звание к. ф.-м. н. в 2018 году. В 2014 году он окончил с красным дипломом программу обучения на кафедре системного программирования математико-механического факультета СПбГУ. Перед этим Антон выпустился из физико-математического лицея №239.

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

Google scholar

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

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

Публикации