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

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


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

Биография

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

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

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

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

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

Публикации

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

July 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)

August 2018

E. Moiseenko, A. Podkopaev

NTV SPbSTU

Подробнее

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

2016

E. Moiseenko, D. Berezun

SEIM-16

Подробнее