🏁 Началась четвёртая неделя марафона! До финала нам предстоит обсудить, как себя мотивировать, чему учиться и как сберечь психическое здоровье. А ещё у нас проходит классный киноконкурс с подарками от IVI, участвуйте в комментах под постом на Хабре.
mazinmazin

Максим Мазин

Программист · Другое
Не ищу работу
Возраст: 38 лет
Опыт работы: 17 лет и 5 месяцев
Регистрация: 02.02.2006
Последний визит: более 5 лет назад
Местоположение: Германия, Мюнхен
Войдите, чтобы посмотреть контакты пользователя

Обо мне

Специализация и профессиональные навыки:
Computer science: FSM (Конечные автоматы), теория построения трансляторов, автоматное программирование, MDA, валидация и верификация моделей.

Programming languages: Java, C/C++, SQL (PL/SQL), Pascal, PHP, Perl, ECMA Script (Java script, Action Script), Prolog, TeX, Fort, PostScript.

Java: J2EE (EJB, Servlet, JSP, JDBC, CORBA, Struts, JSF, JAAS), J2SE (JFC, RMI), J2ME (CLDC, MIDP)

Platforms: iPlanet AS 6.0, Oracle 8.0.5, 8i, 9, Netscape Directory Server 4.0/5.0, Inprise Visibroker for Java/C++ 4.0, 6.5, Apache 1.3, 2.0, JBoss 3.x.x, 4.x.x.

CASE: UniMod, Together, Argo UML, Omondo Eclipse UML, MS Visio

Дополнительная информация:
Среда автоматного проектировния http://unimod.sf.net
ДоМо-контакт Каратэ http://www.ingwar.ru

Опыт работы

  • Делаем эффективные инструменты для разработчиков
    Мюнхен · От 1000 до 5000 сотрудников
    Senior Meta Developer
    Октябрь 2011 — По настоящее время (9 лет и 3 месяца)
  • IntelliJ Labs
    Санкт-Петербург
    Senior Meta Developer
    Октябрь 2006 — Октябрь 2011 (5 лет и 1 месяц)
    Rocket Science Department http://www.jetbrains.com/mps
  • Национальный исследовательский университет, ведущий вуз России в области информационных и фотонных технологий
    Санкт-Петербург · От 1000 до 5000 сотрудников
    Преподаватель
    Сентябрь 2003 — Май 2010 (6 лет и 9 месяцев)
    Курсы: Языки программирования, Java-технологии
  • Заказная разработка сложнофункциональных B2B приложений для электронного бизнеса
    Санкт-Петербург · От 10 до 100 сотрудников
    Technical Leader
    Август 2003 — Октябрь 2006 (3 года и 3 месяца)

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

  • СПбГУ ИТМО (НИУ)

    Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики
    Санкт-Петербург · 1910 выпускников
    Информационных технологий и программирования
    Январь 2006 — Январь 2010 (4 года)
    Кандидат технических наук. Защита: 27.12.2010 Тема: "Автоматное программирование для среды языково-ориентированного программирования"
    Информационных технологий и программирования
    Январь 2004 — Январь 2006 (2 года)
    Научный руководитель: Шалыто Анатолий Абрамович (http://ru.wikipedia.org/wiki/Шалыто,_Анатолий_Абрамович) Тема: Методы валидации автоматных моделей
    Информационных технологий и программирования
    Январь 2000 — Январь 2004 (4 года)
    Научный руководитель: Шалыто Анатолий Абрамович (http://ru.wikipedia.org/wiki/Шалыто,_Анатолий_Абрамович) Тема: Разработка средств автоматного проектирования (http://unimod.sf.net)