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, SPbU 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
Programming languages design and implementation, pretty-printing, functional programming, semantics, weak memory models, certified programming.
Abstract Pretty-Printing with Templates, a bachelor's thesis by Aleksei Korovianskii. Defended at the Software Engineering Department, SPbU in 2015.
Programming Languages and Tools Lab Researcher
- Memory Models
- Compilation Correctness
- Pretty Printing