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.

Nowadays, Anton works as a teaching assistant at the Software Engineering Department, SPbSU and a lecturer at the Department of Mathematics and Information Technology of the Academic University. Also, he is a researcher at JetBrains.

Personal website: podkopaev.net

Google scholar

Professional Activity

Programming languages design and implementation, pretty-printing, functional programming, semantics, weak memory models, certified programming.

Academic Advising

Abstract Pretty-Printing with Templates, a bachelor's thesis by Aleksei Korovianskii. Defended at the Software Engineering Department, SPbSU in 2015.

Publications