
Стоимость занятий
Занятие с ментором
2400₽/ час
Пробные 15 минут
Бесплатно
Женя Моисеенко
Исследователь — JetBrains Research
Увлекаюсь теорией языков программирования и формальными методами. Искренне верю в функциональное программирование и системы типов :)
🤝 С чем могу помочь
- Функциональное программирование
- Программирование на Haskell
- Программирование на Rust
- Программирование на OCaml
- Программирование с зависимыми типами на Coq
- Логическое программирование (Prolog)
💻 Резюме
январь 2016 — по настоящее время
JetBrains Research — Исследователь
сентябрь 2015 — декабрь 2015
Dr.Web — Junior C++ Developer
🎓 Образование
Аспирантура СПБГУ
Математико-механический, Математическое обеспечение и администрирование информационных систем, год окончания - 2022
Магистратура СПБГУ
Математико-механический, Математическое обеспечение и администрирование информационных систем, год окончания - 2018
Бакалавриат СПБГУ
Математико-механический, Математическое обеспечение и администрирование информационных систем, год окончания - 2016