Грант РНФ (2020-2022). Номер: 20-19-00700. Руководитель: Вяткин В.В. Тема: Мультиагентные алгоритмы машрутизации на основе глубоких нейронных сетей с подкреплением и их верификация.
Федеральная целевая программа «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014 - 2020 годы».
Мероприятие 2.2 «Проведение исследований по приоритетным направлениям с участием научно-исследовательских организаций и университетов Швеции и/или Финляндии и/или Норвегии и/или Великобритании».
Направление «Информационно-телекоммуникационные системы». Тема: «Разработка методов, средств и технологий проектирования, верификации и тестирования ответственных кибер-физических систем», государственный контракт № 14.587.21.0032 (2016-2018)
Грант РФФИ (2014-2016). Номер: 14-01-00551, конкурс: А. Руководитель: Шалыто А.А. Тема: «Разработка муравьиных алгоритмов для построения управляющих конечных автоматов».
Грант РФФИ «Мой первый грант» (2014-2015). Номер: 14-07-31337, конкурс: мол_а. Руководитель: Ульянцев В.И. Тема: «Разработка методов автоматизированного построения надежного программного обеспечения на основе автоматного подхода по обучающим примерам и темпоральным свойствам».
Грант РФФИ «Мой первый грант» (2016-2017). Номер: 16-37-00205, конкурс: мол_а. Разработка методов генерации моделей функциональных блоков.
Стипендиат Президента РФ для аспирантов, обучающихся по приоритетным направлениям модернизации и технологического развития экономики России на 2015/16 учебный год.
Победитель конкурса грантов для студентов, аспирантов или молодых ученых и молодых кандидатов наук правительства Санкт-Петербурга 2013 года.
[pdf]