Евгений Моисеенко
Исследовательские группы
Биография
Окончил бакалавриат и магистратуру математико-механического факультета СПбГУ в 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