Неделя наставничества: 6000₽
2 часа видеосвязи + переписка
Женя Моисеенко
Санкт-Петербург, Россия / GMT+3Увлекаюсь теорией языков программирования и формальными методами. Искренне верю в функциональное программирование и системы типов :)
- Функциональное программирование
- Программирование на Haskell
- Программирование на Rust
- Программирование на OCaml
- Программирование с зависимыми типами на Coq
- Логическое программирование (Prolog)
январь 2016 — по настоящее время
JetBrains Research — Исследователь
сентябрь 2015 — декабрь 2015
Dr.Web — Junior C++ Developer
Коммитил в репозитории проекта OCanren jetbrains research — OCaml eDSL для логического программирования.
Верификация моделей памяти
Осенью 2018 года побывал на стажировке в институте Макса Планка в Германии, где начал работу над проектом (и продолжаю по настоящее время) по верификации слабых моделей памяти в системе доказательства теорем Coq.
Аспирантура СПБГУ
Математико-механический, Математическое обеспечение и администрирование информационных систем, год окончания - 2022
Магистратура СПБГУ
Математико-механический, Математическое обеспечение и администрирование информационных систем, год окончания - 2018
Бакалавриат СПБГУ
Математико-механический, Математическое обеспечение и администрирование информационных систем, год окончания - 2016