Женя Моисеенко
Бесплатная тестовая сессия
Формат и стоимость

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

Часовая консультация: 2400₽
15 мин. тестовый видеозвонок: бесплатно

Женя Моисеенко

Санкт-Петербург, Россия / GMT+3
Исследователь в JetBrains Research

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

Функциональное программированиеHaskellRustOCaml
🤝 С чем могу помочь
  • Функциональное программирование
  • Программирование на 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