Eugenii Moiseenko
Free test session
Price and format
One hour video call: 35$
Week with mentor:  86$
Two hours of video calls + texting
15 min. test video call:  free

Eugenii Moiseenko

Saint Petersburg, Russia / GMT+3
Исследователь at  JetBrains Research

Увлекаюсь теорией языков программирования и формальными методами. Искренне верю в функциональное программирование и системы типов :)

Functional ProgrammingHaskellRustOCaml
🤝 Can help with
  • Функциональное программирование
  • Программирование на Haskell
  • Программирование на Rust
  • Программирование на OCaml
  • Программирование с зависимыми типами на Coq
  • Логическое программирование (Prolog)
💻 Work experience

January 2016 — until now

JetBrains Research — Исследователь

September 2015 — December 2015

Dr.Web — Junior C++ Developer

🤟 Projects

OCanren

Коммитил в репозитории проекта OCanren jetbrains research — OCaml eDSL для логического программирования.

Верификация моделей памяти

Осенью 2018 года побывал на стажировке в институте Макса Планка в Германии, где начал работу над проектом (и продолжаю по настоящее время) по верификации слабых моделей памяти в системе доказательства теорем Coq.

🎓 Education

Аспирантура СПБГУ

Математико-механический, Математическое обеспечение и администрирование информационных систем, год окончания - 2022

Магистратура СПБГУ

Математико-механический, Математическое обеспечение и администрирование информационных систем, год окончания - 2018

Бакалавриат СПБГУ

Математико-механический, Математическое обеспечение и администрирование информационных систем, год окончания - 2016