Обо мне

Специализация и профессиональные навыки:
аналитика, организация проектов, анализ сложных систем, формализация требований, тестирование, презентации, работа с людьми

Профессиональные цели:
простые модели сложных систем

Награды, сертификаты, портфолио, проекты:
United States Patent No. 7,290,019: Nikolaj S. Bjorner, Dan Teodosiu, and Rostislav Yavorskiy. "Garbage collection of tombstones for optimistic replication system". Assignee: Microsoft Corporation, Redmond, WA.

Членство в обществах и ассоциациях:
не был, не состоял :)

Дополнительная информация:
http://www.mi.ras.ru/~rey
http://modante.livejournal.com

Опыт работы
Октябрь 2013 — по настоящее время (4 года и 1 месяц)
Доцент, Заместитель заведующего отделением
Октябрь 2012 — Сентябрь 2013 (1 год)
Фонд Сколково
Менеджер по связям с интернет-партнерами
Февраль 2011 — Июль 2012 (1 год и 6 месяцев)
Witology
Вице-президент по моделям и алгоритмам
Москва
Май 2009 — Ноябрь 2010 (1 год и 7 месяцев)
Руководитель исследовательских программ
Москва
Обязанности и достижения
Обязанности: - Организация совместных исследовательских проектов. - Организация конференций, семинаров, летних школ.
Май 2007 — Май 2009 (2 года и 1 месяц)
Business Logic Developer
Москва
Обязанности и достижения
Разработка финансовых калькуляторов (Forex, Money Market, Fixed Income) для Reuters 3000 Xtra
Июнь 2006 — Май 2007 (1 год)
QA Engineer
Москва
Обязанности и достижения
Разработка датасетов для автоматизированного тестирования Reuters Kondor Back Office
Сентябрь 2003 — Июнь 2010 (6 лет и 10 месяцев)
Преподаватель
Москва
Обязанности и достижения
спецкурсы по моделированию и анализу вычислительных систем на кафедре математической логики и теории алгоритмов; спецсеминар по моделированию, анализу и тестированию; руководство курсовыми и дипломными работами
Сентябрь 2002 — Август 2003 (1 год)
Visiting Researcher
Обязанности и достижения
Участие в проекте по разработке инструментов для автоматизированного тестирования сложных систем; моделирование и разработка тестов для сетевого протокола распределенной файловой системы (File Replication System)
Январь 1999 — Май 2009 (10 лет и 5 месяцев)
Старший научный сотрудник
Москва
Обязанности и достижения
Исследовательская работа по математической логике и ее приложению в информатике; организация научных конференций; рецензирование научных статей, диссертаций;
Февраль 1994 — Июнь 2006 (12 лет и 5 месяцев)
Школа №1134
Учитель информатики
Москва
Обязанности и достижения
преподавание информатики в физ-мат классах, организация и руководство исследовальскими проектами школьников
Высшее образование
Январь 1994 — Январь 1998
МГУ
Механико-математический
Москва
Специализация и достижения
аспирантура на кафедре математической логики и теории алгоритмов, науч. рук. профессор С. Н. Артемов
Январь 1989 — Январь 1994
МГУ
Механико-математический
Москва
Специализация и достижения
диплом с отличием, специализация - математическая логика и теория алгоритмов