m-bakhterevm-bakhterev

Михаил Бахтерев

Программист · Бэкенд разработчик · Инженер встраиваемых систем · Ведущий (Lead)
От 256 000 ₽ · Не ищу работу
Возраст: 40 лет
Опыт работы: 17 лет и 8 месяцев
Регистрация: 22.01.2014
Последний визит: 2 месяца назад
Местоположение: Россия, Екатеринбург
Дополнительно: готов к переезду и к удаленной работе
Войдите, чтобы посмотреть контакты пользователя

Обо мне

Образование

  • Красный диплом по специальности "Организация и технологии защиты информации" МатМеха УрГУ (сейчас ИЕНиМ УрФУ).
  • Закончил с отличием аспирантуру ИММ УрО РАН по специальности 05.13.18 "Математическое моделирование, численные методы и комплексы программ".
  • Итоговый результат 97.5% в курс "Introduction to Artificial Intellegence".
  • Закончил с "highest distinction" курс "CS 373: Programming a Robotic Car".
  • Оценка 100% за курс "Введение в машинное обучение".
  • Курс CS-Клуба "Введение в формальную верификацию программ" (03.2021 -  06.2021).

Конкурсы

  • Лауреат конкурса "Компьютерный континуум" 2011 г.
  • Первое место в рейтинге 4Clojure.
  • Лауреат Грантового конкурса для молодых ученых УрФУ - 2016.

Успешно завершённые промышленные проекты

  • Система обмена сообщениями реального времени для прототипа железнодорожного робота, расцепляющего вагоны.
  • Подсистема сбора изображений со множества камер в системе компьютерной трёхмерной анимации реального эфирного времени. 
  • Первые версии компилятора Си для процессоров с архитектурами МультиКлет P1 и МультиКлет R1.

Опыт руководства

  • Руководитель группы разработки компиляторов в компании МультиКлет.

Научная работа

  • Диссертация "Распределённая операционная система для высокопроизводительных приложений".

Любимые инструменты

  • C11
  • Guile Scheme
  • GNU Make
  • Git
  • Postfix
  • Lighttpd
  • Arch Linux
  • R4

Участие в профсообществах

Опыт работы

Высшее образование

  • ИММ УрО РАН

    Институт математики и механики Уральского отделения Российской академии наук
    Екатеринбург · 9 выпускников
    Сентябрь 2004 — Июнь 2007 (2 года и 9 месяцев)
    05.13.18 Математическое моделирование, численные методы и комплексы программ. Экзамены на отлично.
  • УрФУ им. Б.Н. Ельцина

    Уральский Федеральный Университет имени первого президента России Б.Н. Ельцина
    Екатеринбург · 2916 выпускников
    Pадиотехнический институт
    Сентябрь 1998 — Июль 2004 (5 лет и 10 месяцев)

    Компьютерная безопасность. Красный диплом. Для курсовых работ реализовал криптографическую систему и микроядро операционной системы с вытесняющей многозадачностью. Для выпускного диплома компилятор небольшого Си-подобного языка программирования..

Дополнительное образование

  • Computer Science клуб

    Введение в формальную верификацию программ
    Март 2021 — Июнь 2021 (3 месяца)

    Решил все обязательные и дополнительные задания по построению автоматически проверяемых доказательств свойств различных функций на языке Coq. В том числе, доказал корректность небольшого компилятора.