Обо мне

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

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

Награды, сертификаты, портфолио, проекты:
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 — по настоящее время
Должность: Доцент, Заместитель заведующего отделением
Октябрь 2012 — Сентябрь 2013
Фонд Сколково
Должность: Менеджер по связям с интернет-партнерами
Февраль 2011 — Июль 2012
Witology
Должность: Вице-президент по моделям и алгоритмам
Город: Москва
Май 2009 — Ноябрь 2010
Должность: Руководитель исследовательских программ
Город: Москва
Обязанности и достижения

Обязанности:
- Организация совместных исследовательских проектов.
- Организация конференций, семинаров, летних школ.

Май 2007 — Май 2009
Должность: Business Logic Developer
Город: Москва
Обязанности и достижения

Разработка финансовых калькуляторов (Forex, Money Market, Fixed Income) для Reuters 3000 Xtra

Июнь 2006 — Май 2007
Должность: QA Engineer
Город: Москва
Обязанности и достижения

Разработка датасетов для автоматизированного тестирования Reuters Kondor Back Office

Сентябрь 2003 — Июнь 2010
Должность: Преподаватель
Город: Москва
Обязанности и достижения

спецкурсы по моделированию и анализу вычислительных систем на кафедре математической логики и теории алгоритмов;
спецсеминар по моделированию, анализу и тестированию;
руководство курсовыми и дипломными работами

Сентябрь 2002 — Август 2003
Должность: Visiting Researcher
Обязанности и достижения

Участие в проекте по разработке инструментов для автоматизированного тестирования сложных систем;
моделирование и разработка тестов для сетевого протокола распределенной файловой системы (File Replication System)

Январь 1999 — Май 2009
Должность: Старший научный сотрудник
Город: Москва
Обязанности и достижения

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

Февраль 1994 — Июнь 2006
Школа №1134
Должность: Учитель информатики
Город: Москва
Обязанности и достижения

преподавание информатики в физ-мат классах, организация и руководство исследовальскими проектами школьников

Высшее образование
Январь 1994 — Январь 1998
МГУ
Факультет: Механико-математический
Город: Москва
Специализация и достижения

аспирантура на кафедре математической логики и теории алгоритмов, науч. рук. профессор С. Н. Артемов

Январь 1989 — Январь 1994
МГУ
Факультет: Механико-математический
Город: Москва
Специализация и достижения

диплом с отличием, специализация - математическая логика и теория алгоритмов