Фамилия:
Имя:
Отчество:
Окончил бакалавриат и магистратуру Факультета прикладной математики и экономики (ФУПМ) МФТИ.
_________________________________________
Сотрудник ИПУ РАН с 2011 года.
IEEE member c декабря 2017 года.
Сертифицированный Специалист по Управлению Проектами IPMA Level D с марта 2018 гогда (Certified Project Management Associate IPMA Level D) .
_________________________________________
УЧАСТИЕ В ПРОЕКТАХ
1. УЧАСТИЕ В ПРОЕКТАХ ЕВРОСОЮЗА
FP7-PEOPLE-2013-IRSES - Marie Curie Action "International Research Staff Exchange Scheme"
Рабочая командировка по проекту №612707. DIONICOS(Dynamics of and in Complex Systems). Университет Ковентри (Coventry University, United Kindom) 13 November - 13 December, 2017.
(http://cordis.europa.eu/project/rcn/110181_en.html)
2. УЧАСТИЕ В ПРОЕКТАХ РНФ
В роли соисполнителя:
23-18-00695 «Логико-когнитивные модели рассуждений: принципы демаркации нормативного и дескриптивного»
16-19-10609 «Модели, методы и информационные технологии синтеза комплексных механизмов управления эргатическими активными системами»
3. УЧАСТИЕ В ПРОЕКТАХ РФФИ
В роли руководителя:
12-01-31367 Разработка моделей управления коллективным поведением элементов социально-экономических систем.
В роли соисполнителя:
19-29-07525 "Разработка комплекса математических моделей устойчивости и изменчивости убеждений и установок людей как компонентов человеческого капитала"
17-20-05216 офи_м_РЖД "Модели и методы управления разработкой и внедрением инновационных энергоэффективных средств и технологий в холдинге "РЖД"
16-01-00820 Моделирование процесса формирования онлайновых социальных сетей на основе алгоритма с отсевом активных узлов
16-01-00485 Модели и методы анализа влиятельности в онлайновых социальных сетях,
16-07-00816 Развитие кибернетических моделей и методов теории организационного управления,
15-07-09048 Приложения моделей стратегической рефлексии для теории игр двух лиц и игр формирования сетей,
13-07-00876 Модели и методы информационного управления в многоагентных сетевых структурах,
13-07-00491 Механизмы управления системами с сетевой структурой.
_______________________________________
- Валерия Николаева "Поиск бисимуляции между мультиагентными моделями Крипке". ФГН.
- Олег Антопкин "Применение методов модальной логики для анализа политической теории республиканизма Филипа Петтита". 2 курс программы "Политология". Оценка за курсовую 8 из 10.
- Мельников Иван Вадимович «Использование динамической эпистемической логики для построения безопасного протокола обмена данными». Факультет компьютерных наук. Оценка за диплом 9 из 10.
- Тимина Наталья Алексеевна «Методы решения эпистемических задач на графических ускорителях геометрическими методами». Факультет компьютерных наук. Оценка за диплом 8 из 10.
- Дарья Карпухина "Моделирование износа и ремонта автомобильных дорог в активной транспортной систем". Оценка за диплом 10 из 10.
- Дмитрий Дедов "Исследование модели влияния неполной информированности о моделях поведения потребителей на маркетинговые коммуникации с ними". Оценка за диплом 8 из 10.
- Прохор Мирославский "Моделирование трансферов в футболе". Оценка за диплом 8из 10.
- Егор Дранов "Исследование статистических свойств равновесий в играх Курно и Бертрана". Оценка за диплом 9 из 10.
- Лидия Котцова "Моделирование оптимального размещения торговых точек в сетевых транспортных системах". Оценка за диплом 10 из 10.
- Клочко Анастасия "Методы построения распределения ресурсов в социальной системе с ограничениями и предпочтениями агентов". Оценка за диплом 9 из 10.
- Никита Балыкин "Моделирование оптимальной дорожной сети с учетом ограничений, рисков и географических особенностей". Оценка за диплом 8 из 10.
_______________________________________
ОСНОВНОЕ ОБРАЗОВАНИЕ
Закончил факультет управления и прикладной математики МФТИ, получив степень бакалавра (2001), а затем магистра (2003). Дипломные работы были посвящены управлению и равновесными состояниям орбитальных спутниковых систем (степень бакалавра за численное моделирование управления ориентацией спутника одним соленоидом, степень магистра за вычисление параметров равновесных состояний системы из двух спутников, соединенных токопроводящим тросом - https://en.wikipedia.org/wiki/Space_tether_missions). Защиты обоих дипломных работ проходили в институте прикладной математики им. Келдыша.
КРАТКОСРОЧНЫЕ КУРСЫ ДОПОЛНИТЕЛЬНОГО ОБУЧЕНИЯ
Участник двухнедельных летних школ:
1) Fourth EPICENTER Spring Course in Epistemic Game Theory 2017, Maastricht University (Netherlands), June 12 – June 26, 2017,
2) 29th European Summer School in Logic, Language, and Information на потоке "Logic&Computaiton". University of Toulouse (France), 17-28 July, 2017,
3) Functional Programming for Logicians, coordinated project in the Master of Logic at ILLC, University of Amsterdam. Instructors: Malvin Gattinger and Jana Wagemaker. С 4 июня по 15 июня 2018,
миникурс в ВШЭ: Unification in modal logic (преподаватель Philippe Balbiani, Тулуза, Франция)
НАВЫКИ ПРОГРАММИРОВАНИЯ
Часто использую в исследованиях свои навыки программирования на языках: С++, Java, R, Python, Пролог, JavaScript, MATLAB. и др. Сейчас осваиваю Haskell.
Защитившиеся бакалавры (МФТИ)