Evgenii Moiseenko

Evgenii Moiseenko


Research Groups

Biography

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

Publications

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

2021

Vladimir Gladstein, Dmitrii Mikhailovskii, Evgenii Moiseenko, Anton Trunov

Syrcose'21

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

2019

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

NTV SPbSTU

Read more

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

2016

E. Moiseenko, D. Berezun

SEIM-16

Read more