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:

Google scholar

Professional Activity

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