Evgenii Moiseenko

Evgenii Moiseenko

Research Groups


Evgenii graduated from Saint Petersburg University, Department of Mathematics and Mechanics with bachelor's (2016) and master's (2018) degree.
Currently, Evgenii continues his study at Ph.D. program "Informatics" at Saint Petersburg University.
During his Ph.D. Evgenii participated in several fellowships at Max Planck Institute for Software Systems.

Professional Activity

  • Programming Languages Design and Implementation
  • Concurrency and Weak Memory Models
  • Functional Programming
  • Programming with Dependent Types
  • Constraint Logic Programming
  • Formal Methods in Software Engineering


Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models


E. Moiseenko, V. Gladstein, A. Podkopaev, D. Koznov

Scientific and Technical Journal of Information Technologies, Mechanics and Optics

Read more

A Survey of Programming Language Memory Models


E. Moiseenko, A. Podkopaev, D. Koznov

Journal 'Programming and Computer Software',

Read more

Mechanized Theory of Event Structures: A Case of Parallel Register Machine


Vladimir Gladstein, Dmitrii Mikhailovskii, Evgenii Moiseenko, Anton Trunov


Read more

Reconciling Event Structures with Modern Multiprocessors

July 2020

Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis

The European Conference on Object-Oriented Programming (ECOOP)

Read more

Constructive Negation for MiniKanren


Proceedings of the 2019 miniKanren and Relational Programming Workshop

Read more

Relational Programming with memoization and negation (In Russian)

August 2018

E. Moiseenko, A. Podkopaev


Read more

Incremental Garbage Collection Library for C++ (in Russian)


E. Moiseenko, D. Berezun


Read more