28 ноября приходите на новый хабрасеминар. В этот раз мы поговорим про HR-бренд, создающий образ компании, привлекательный для будущих сотрудников. Подробности и регистрация
Обо мне

Специализация и профессиональные навыки:
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

Опыт работы
Кузница инструментов для разработки программного обеспечения
Senior Meta Developer
Октябрь 2011 — По настоящее время (8 лет и 2 месяца)
IntelliJ Labs
Санкт-Петербург
Senior Meta Developer
Октябрь 2006 — Октябрь 2011 (5 лет и 1 месяц)
Rocket Science Department http://www.jetbrains.com/mps
Национальный исследовательский университет, ведущий вуз России в области информационных и фотонных технологий.
Санкт-Петербург
Преподаватель
Сентябрь 2003 — Май 2010 (6 лет и 9 месяцев)
Курсы: Языки программирования, Java-технологии
Заказная разработка сложнофункциональных B2B приложений для электронного бизнеса
Санкт-Петербург
Technical Leader
Август 2003 — Октябрь 2006 (3 года и 3 месяца)
Высшее образование
Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики
Санкт-Петербург
Факультет: Информационных технологий и программирования
Январь 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)