Евгений Моисеенко

Евгений Моисеенко


Исследовательские группы

Биография

Окончил бакалавриат и магистратуру математико-механического факультета СПбГУ в 2016 году и 2018 году соответственно.

В настоящее время Евгений продолжает обучение в аспирантуре СПбГУ по направлению "Информатика".

Во время обучения в аспирантуре, Евгений проходил несколько стажировов в Институте Макса Планка.

Профессиональная активность

  • Разработка и реализация языков программирования
  • Многопоточное программирование и слабые модели памяти
  • Функциональное программирование
  • Программирование с зависимыми типами
  • Логическое программирование в ограничениях
  • Формальные методы в разработке программного обеспечения

Публикации

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

2022

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

Scientific and Technical Journal of Information Technologies, Mechanics and Optics

Подробнее

A Survey of Programming Language Memory Models

2021

E. Moiseenko, A. Podkopaev, D. Koznov

Journal 'Programming and Computer Software',

Подробнее

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

2021

Vladimir Gladstein, Dmitrii Mikhailovskii, Evgenii Moiseenko, Anton Trunov

Syrcose'21

Подробнее

Reconciling Event Structures with Modern Multiprocessors

Июль 2020

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

The European Conference on Object-Oriented Programming (ECOOP)

Подробнее

Constructive Negation for MiniKanren

2019

Proceedings of the 2019 miniKanren and Relational Programming Workshop

Подробнее

Relational Programming with memoization and negation (In Russian)

Август 2018

E. Moiseenko, A. Podkopaev

NTV SPbSTU

Подробнее

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

2016

E. Moiseenko, D. Berezun

SEIM-16

Подробнее