Biography

Anton graduated from the Lyceum No. 239 in 2009, where he led a game programming study group for two years after graduating. In 2009, he entered the Mathematics and Mechanics Faculty at the Saint Petersburg State University. In 2011, Anton continued his studies at the Software Engineering Department on the same faculty, from which he graduated with honors in 2014.

Besides his position at JetBrains Research, Anton is also a postdoc at MPI-SWS and a docent at Department of Informatics, NRU HSE (SPb).

Personal website: podkopaev.net

Google scholar

Professional Activity

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

Publications