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.
- Programming Languages Design and Implementation
- Concurrency and Weak Memory Models
- Functional Programming
- Programming with Dependent Types
- Constraint Logic Programming
- Formal Methods in Software Engineering
Mechanized Theory of Event Structures: A Case of Parallel Register Machine
Vladimir Gladstein, Dmitrii Mikhailovskii, Evgenii Moiseenko, Anton Trunov
Reconciling Event Structures with Modern Multiprocessors
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Constructive Negation for MiniKanren
Relational Programming with memoization and negation (In Russian)
E. Moiseenko, A. Podkopaev
Incremental Garbage Collection Library for C++ (in Russian)
E. Moiseenko, D. Berezun