Biography

Anton is the head of Weak Memory Concurrency group in JetBrains Research, a postdoc at MPI-SWS, and a docent in NRU HSE (SPb). In 2018, he obtained a candidate degree from St. Petersburg University. In 2014, Anton graduated with honors from the Software Engineering Department of the Mathematics and Mechanics Faculty at the same university. In 2009, he graduated from the Lyceum No. 239.

Personal website: podkopaev.net

Google scholar

Professional Activity

Programming language semantics, weak memory models, compiler correctness, certified programming, functional programming, pretty-printing.

Publications