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