Curriculum vitæ

Contact Information

Email: anton@podkopaev.net
Github: anlun
Homepage: podkopaev.net

Research interests

Software verification, program language semantics, concurrency, weak memory models, functional programming.

Education

Employment

Internships

Publications

  1. Operational Aspects of C/C++ Concurrency
    A.Podkopaev, I.Sergey, A.Nanevski
    arXiv, 2016
  2. A Language-Independent Code Formatting by Syntactic Matching and Templates
    A.Podkopaev, A.Korovianskii, I.Ozernykh
    NTV SPbSTU 4 (224), October 2015 [In Russian].
  3. Polynomial-Time Optimal Pretty-Printing Combinators with Choice
    A.Podkopaev, D.Boulytchev
    Proceedings of 9th International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI 2014).
  4. Tools for Rapid Development of Domain-Specific Solutions In QReal Metacase System
    A.Kuzenkova, A.Deripaska, K.Taran, A.Podkopaev, Yu.Litvinov, T.Bryksin
    NTV SPbSTU 4 (128), 2011 [In Russian].

Teaching

Technical skills

Language Skills

References

Viktor VafeiadisDmitri Boulytchev
Tenured Faculty
MPI-SWS
Germany
Assistant Professor
St. Petersburg University
Russia
Back