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

Биография

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

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

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

В текущий момент Евгений работает над семантиками на основе структур событий для формализации слабо согласованных моделей памяти и применением для формальной верификации программ.

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

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

Публикации