О сайте

Цель создания

Этот сайт был изначально создан для сбора редких и интересных материалов о вычислительных моделях и языках программирования. Позже он также превратился в занимательное упражнение в реализации разнообразных программистких концепций.

Исходный код

Исходный код открыт по лицензии GNU v.3. Данные, в том числе руководства и книги, могут иметь свои лицензии.

Репозиторий с исходным кодом и историей коммитов доступен на https://github.com/rigidus/rigidus.ru

Вы можете делать любые дополнения и предложения в форме pull-requests и issue.

Текущий статус

Отдельные вещи здесь переделываются прямо на ходу и кое-что может не работать по двум причинам:

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

Если вы заметили ошибку или неточность - пожалуйста, сообщите мне об этом. Вы можете воспользоваться для этого способами, изложенными выше.

Обо мне

Личная информация

Меня зовут Глухов Михаил, я также известен как rigidus. Этот ник был выбран с целью упростить поиск в поисковых системах.

Я родился в 1982 году в г. Ленинград, теперь - Санкт-Петербург.

Мне можно в любой момент позвонить по телефону 8(911)286-92-90 или написать на i.am.rigidus at gmail dot com

Я занимаюсь программированием и исследованиями в связанных областях. Моя работа тоже имеет к этому самое прямое отношение.

Я накопил значитетельный опыт за это время и готов делиться экспертизой.

Исследовательский опыт

Я сделал несколько исследовательских работ (часть из которых еще не завершена):

  • Проверка корректности автоматных парсеров контекстно-свободных языков
  • Верификация протоколов обмена сообщениями в распределенных сетях
  • Создание языков предметной области систем автоматизированного принятия решений
  • Автоматизация написания декомпиляторов для регисто-стековых виртуальных машин
  • Построение и анализ средств визуального программирования для языков предметной области для систем реактивного управления
  • Распределенные виртуальные машины с разделяемым состоянием

Опыт работы


ООО Автоматон

(c 2015-12-01 по настоящее время)

Руководитель разработки ПО, Системный архитектор

  • Спроектировал программно-аппаратную архитектуру системы автоматизации платных парковок.
  • Спланировал и организовал работы по разработке ПО и аппаратной части, включая подбор электронных компонентов и схемотехническое проектирование.
  • Самостоятельно реализовал бизнес-логику и уровень представления (АРМ Оператора)
  • Руководил работами по реализации транспортного уровня и уровня абстракции оборудования, выполненными удаленными разработчиками.
  • Внедрил Continuous Integration и процесс управления жизненным циклом (релизы, исправление ошибок, добавление возможностей, технический контроль качества, автоматизированное тестирование)
  • Реализовал безопасное (цифровая подпись) и отказоустойчивое (откат на предыдующую версию при провале тестов) обновление прошивок через интернет.
  • Автоматизировал создание и хранение документации, с использованием версионирования на базе GIT и "executable specifications".

ООО БКН

(c 2015-04-01 по 2015-12-01)

ИТ-директор

Руководил разработкой информационных решений автоматизации бизнеса агентств недвижимости (b2b и b2c). C# и ASP.NET

Тренд

(c 2014-08-01 по 2015-03-01)

Ведущий инженер-программист

Автоматизировал бизнес-процесс агенства по продажам недвижимости (новостройки)

Частная компания (алготрейдинг)

(c 2012-04-01 по 2014-08-01)

Lisp/Erlang-разработчик

Разрабатывал решения в сфере электронных валют

ООО РАВТА

(c 2012-01-01 по 2012-04-01)

Директор по IT

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

WizardSoft

(c 2011-05-01 по 2012-01-01)

Ведущий разработчик, архитектор

Разработка высоконагрузочного портала для проведения строительных тендеров. Прототип реализовал на Common Lisp, Postmodern и PostgreSQL. После приемки прототип был существенно расширен и переписан на PHP

ЦиFры

(c 2009-09-01 по 2011-04-01)

Архитектор-проектировщик, веб-программист

Перепроектировал и реализовал на высоконагрузочный интернет-магазин. Стек технологий: PHP, MySql, Jquery, Common Lisp, Memcached

ООО Вебдом

(c 2007-01-01 по 2009-09-01)

Ведущий веб-разработчик

Cпроектировал и разработал масштабируемый фреймворк, на котором теперь работает компания. CMS на его основе поставляются клиентам.

Почин

(c 2005-09-01 по 2007-01-01)

Программист

Спроектировал и разработал интернет-магазин на стеке технологий LAMP


Членства в ассоциациях/организациях

Постоянный участник и докладчик семинаров по функциональному программированию в Санкт-Петербурге fprog-community и IT-Global-Meetup