Как вы себя чувствуете в самоизоляции, как адаптируетесь, как работаете, какими привычками обзаводитесь — об этом наш новый опрос. Пройдите его (займёт 10 минут) и в конце узнайте, как дела у других.
Обо мне

Функциональные языки, компиляторы, теория типов, преобразование программ.

Профессиональные навыки
Участие в профессиональных сообществах
Опыт работы
Solid Rocks
Москва
Proof assistant
Июнь 2016 — По настоящее время (3 года и 11 месяцев)

Компания занимется консультированием в области блокчейн технологий и смартконтрактов.

Также разрабатываются инструменты для спецификации поведения смартконтрактов и анализа их корректности.

Используемые технологии:

  • Ethereum, Solidity
  • HyperLedger
  • Idris, Haskell, Lean
  • Why3, BoogiePL, Viper
4hsoft
Москва
программист
Февраль 2015 — Сентябрь 2015 (8 месяцев)

Разработка конструктора web-интерфейсов.

Технологии:

  • TypeScript, React.js, Sass, Grunt, Webpack.

Достижения:

  • перевод новых проектов на React.js;
  • внедрение Sass и методологии smacss;
  • автоматизация сборки и деплоймента.

Неудачи:

  • попытка внедрить code review, тестирование, git workflow;
  • попытка внедрения единого стиля кодирования, отказ от strict code ownership;
  • оказалось, что конструктор никому не нужен.
начальник
Август 2011 — Март 2018 (6 лет и 8 месяцев)

Компания специализируется на ПО для колл-центров и автоматизации бизнес-процессов.

Обязанности:

  • анализ и подготовка документации для участия в тендерах;
  • выбор ключевых технологий и проектирование архитектуры;
  • подбор людей в команду;
  • постановка и контроль выполнения задач, code review;
  • участие в разработке наравне с остальными.

Технологии:

  • CoffeeScript, Knockout.js, Bootstrap, Purescript, React.js;
  • Haskell, Java (под Android);
  • PostgreSQL, Redis;
  • CoreOS, Docker, etcd.

Достижения:

  • организация и участие в разработке и сопровождении системы, позволившей заказчику снизить издержки на колл-центр и улучшить качество обслуживания;
  • участие в тендерах и разработка небольших проектов для госорганов;
  • внедрение в команде культуры "непрерывного рефакторинга", пропаганда функционального программирования и формальных методов.
Аэрокосмические технологии
Москва
программист
Июль 2010 — Июнь 2012 (2 года)

Серия проектов для РЖД, связанных с навигацией и передачей потокового видео.

Обязанности:

  • оптимизация кодеков для передачи потокового видео в узком канале с большими потерями;
  • разработка устройств и ПО для передачи навигации и показаний датчиков через Inmarsat-BGAN.

Технологии:

  • Python, Java, Haskell;
  • PostgreSQL;
  • Gstreamer, x264, Theora;
  • C, ARM Cortex, STM32, Tegra.

Достижения:

  • участие в полном цикле разработки устройства: от подбора компонентов и разработки ПО, до запуска в производство и сертификации;
  • код на хаскеле ездит в технических поездах по Сибири и отправляет координаты через спутник.
Разработка и производство систем автоматизации для предприятий энергетической, нефтегазовой отрасли.
программист
Сентябрь 2008 — Июль 2010 (1 год и 11 месяцев)

Участие в проекте по разработке объектно-реляционной СУБД на C#.

Обязанности:

  • расширение языка запросов;
  • реализация оптимизатора запросов;
  • переработка и расширение набора тестов;
  • тестирование производительности БД и качества оптимизации запросов.

Неудачи:

  • реализация оптимизатора запросов на основе monoid comprehension calculus (Torsten Grust, Leonidas Fegaras).
Лямбда пресс
Москва
начальник
Июль 2007 — Декабрь 2011 (4 года и 6 месяцев)

Организация перевода и издания книжки "Типы в языках программирования" (Б. Пирс).

Обязанности:

  • переговоры с правообладателями;
  • поиск людей и координирование работы переводчиков, корректоров, верстальщика и редактора;
  • участие в вычитке и редактировании перевода;
  • переговоры с издательствами.

Достижения:

  • книга вышла в печать;
  • по соглашению с правообладателями, электронная версия свободно распространяется в интернетах.
i-box
Москва
Программист
Апрель 2006 — Август 2008 (2 года и 5 месяцев)

Разработка ПО платёжной системы.

Технологии:

  • C++, Boost, Poco;
  • Java, Tomcat;
  • MySQL.
Высшее образование
Московский государственный технический университет имени Н.Э. Баумана
Москва
Факультет: Информатики и систем управления; ИУ
Сентябрь 1998—Октябрь 2004 (6 лет и 1 месяц)