Eugenii Moiseenko — a coding mentor at Solvery.io

Бесплатная тестовая сессия

Формат и стоимость

Часовая консультация: 35$

Неделя наставничества: 87$
2 часа видеосвязи + переписка

15 мин. тестовый видеозвонок: бесплатно

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

🤝 С чем могу помочь

Функциональное программирование
Программирование на Haskell
Программирование на Rust
Программирование на OCaml
Программирование с зависимыми типами на Coq
Логическое программирование (Prolog)

💻 Резюме

январь 2016 — по настоящее время

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

сентябрь 2015 — декабрь 2015

Dr.Web — Junior C++ Developer

🤟 Проекты

OCanren

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

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

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

🎓 Образование

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

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

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

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

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

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