Гранты
Руководитель
Методы выделения специфических признаков из графов де Брейна для групп метагеномных образцов и применение машинного обучения для классификации библиотек полногеномного секвенирования
Срок выполнения: 07.2021 -- 06.2023
Команда: Ульянцев В.И. (руководитель), Иванов А.Б.
Грантодатель: Российский Научный Фонд (РНФ)
Конкурс: Конкурс 2021 года «Проведение инициативных исследований молодыми учеными» Президентской программы исследовательских проектов, реализуемых ведущими учеными, в том числе молодыми учеными
Номер соглашения: 21-71-00051
Годовой объем гранта: 1500000 ₽
Ключевые слова: биоинформатика, сравнительная метагеномика, полногеномное секвенирование, библиотека геномных прочтений, граф де Брейна, анализ графов, машинное обучение, выделение признаков
Внешняя ссылка: https://www.rscf.ru/project/21-71-00051/
Разработка эволюционных стратегий поиска декомпозиций трудных вариантов задачи о булевой выполнимости с применением к обращению криптографических функций
Срок выполнения: 07.2018 -- 06.2020
Команда: Ульянцев В.И. (руководитель), Павленко А.Л.
Грантодатель: Российский Научный Фонд (РНФ)
Конкурс: Конкурс 2018 года по мероприятию «Проведение инициативных исследований молодыми учеными» Президентской программы исследовательских проектов, реализуемых ведущими учеными, в том числе молодыми учеными
Номер соглашения: 18-71-00150
Годовой объем гранта: 1500000 ₽
Ключевые слова: искусственный интеллект, криптоанализ, обращение криптографической функции, задача о булевой выполнимости (SAT), эволюционные алгоритмы, генетические алгоритмы, SAT-решатель, SAT-декомпозиция
Внешняя ссылка: https://rscf.ru/contests/search-projects/18-71-00150/
Разработка методов машинного обучения для синтеза автоматных моделей систем управления с учетом темпоральных свойств и временных отсечек на основе пропозиционального кодирования
Срок выполнения: 01.2018 -- 12.2020
Команда: Ульянцев В.И. (руководитель), Чивилихин Д.С., Бужинский И.П., Закирзянов И.Т., Овсянникова П.А.
Грантодатель: Российский Фонд Фундаментальных Исследований (РФФИ)
Конкурс: А -- конкурс проектов фундаментальных научных исследований
Номер соглашения: 18-07-01285
Годовой объем гранта: 700000 ₽
Ключевые слова: машинное обучение, задача выполнимости, задача удовлетворения ограничений, темпоральная логика, временные автоматы, пропозициональное кодирование
Внешняя ссылка: https://www.rfbr.ru/rffi/ru/project_search/o_2071392
Разработка методов автоматизированного построения надежного программного обеспечения на основе автоматного подхода по обучающим примерам и темпоральным свойствам
Срок выполнения: 01.2014 -- 12.2015
Команда: Ульянцев В.И. (руководитель), Чивилихин Д.С.
Грантодатель: Российский Фонд Фундаментальных Исследований (РФФИ)
Конкурс: мол_а -- Конкурс инициативных научных проектов, выполняемых молодыми учеными (Мой первый грант) 2014
Номер соглашения: 14-07-31337
Годовой объем гранта: 400000 ₽
Ключевые слова: надежное программное обеспечение, управляющие конечные автоматы, темпоральные свойства, муравьиные алгоритмы, задача SAT, задача QSAT, автоматное программирование, верификация, метод Model Checking
Внешняя ссылка: https://www.rfbr.ru/rffi/portal/project_search/o_1911929
Построение автоматов управления системами со сложным поведением с помощью методов решения задачи о выполнимости булевой формулы
Срок выполнения: 01.2012 -- 12.2014
Команда: Ульянцев В.И.
Грантодатель: Фонд содействия развитию малых форм предприятий в научно-технической сфере (Фонд содействия инновациям)
Конкурс: Программа УМНИК
Номер соглашения: У-2012-1/8
Годовой объем гранта: 250000 ₽
Участник
Разработка методов синтеза конечно-автоматных алгоритмов управления для программируемых логических контроллеров в распределенных киберфизических системах
Срок выполнения: 10.2019 -- 09.2021
Команда: Вяткин В.В. (руководитель), Чивилихин Д.С., Ульянцев В.И., Закирзянов И.Т., Овсянникова П.А., Чухарев К.И., Павленко А.Л.
Грантодатель: Российский Фонд Фундаментальных Исследований (РФФИ)
Конкурс: Научное наставничество -- Конкурс на лучшие проекты фундаментальных научных исследований, выполняемые молодыми учеными под руководством ведущего ученого – наставника, проводимый совместно РФФИ и фондом «Талант и Успех»
Номер соглашения: 19-37-51066
Годовой объем гранта: 4500000 ₽
Ключевые слова: киберфизическая система, система управления, программируемый логический контроллер, конечный автомат, синтез конечных автоматов, верификация, метод проверки моделей, задача выполнимости булевой формулы, распределенное управление
Разработка методов, средств и технологий проектирования, верификации и тестирования ответственных кибер-физических систем
Срок выполнения: 08.2016 -- 06.2019
Команда: Шалыто А.А. (руководитель), Ульянцев В.И. (ответственный исполнитель), Чивилихин Д.С., Авдюхин Д.А., Бужинский И.П., Буздалов М.В., Буздалова А.С., Ведерников Н.В., Закирзянов И.Т., Казаков С.В., Корнеев Г.А., Лукин М.И., Миронович В.А., Овсянникова П.А., Сергушичев А.А., Станкевич А.С.
Грантодатель: Министерство образования и науки Российской Федерации
Конкурс: ФЦП «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014 -- 2020 годы». Лот -- проведение исследований по приоритетным направлениям с участием научно-исследовательских организаций и университетов Швеции и/или Финляндии и/или Норвегии и/или Великобритании. Мероприятие -- 2.2 Поддержка исследований в рамках сотрудничества с государствами — членами Европейского союза.
Номер соглашения: 14.587.21.0032
Годовой объем гранта: 8000000 ₽
Дополнительная информация: Вяткин Валерий -- научный руководитель работ со стороны иностранного партнера (Aalto University)
Внешняя ссылка: http://fcpir.ru/participation_in_program/contracts/14.587.21.0032/
Разработка муравьиных алгоритмов для построения управляющих конечных автоматов
Срок выполнения: 01.2014 -- 12.2016
Команда: Шалыто А.А. (Руководитель), Чивилихин Д.С., Ульянцев В.И., Бужинский И.П., Фильченков А.А., Буздалов М.В., Буздалова А.С., Казаков С.В., Сергушичев А.А., Закирзянов И.Т.
Грантодатель: Российский Фонд Фундаментальных Исследований (РФФИ)
Конкурс: А -- Конкурс инициативных научно-исследовательских проектов 2014 года
Номер соглашения: 14-01-00551
Годовой объем гранта: 400000 ₽
Ключевые слова: муравьиные алгоритмы, управляющие конечные автоматы, роевой интеллект, алгоритмы роевого интеллекта, автоматное программирование, управляющие системы, функция приспособленности
Внешняя ссылка: https://www.rfbr.ru/rffi/ru/project_search/o_1911469
Разработка методов построения управляющих конечных автоматов по обучающим примерам на основе решения задачи удовлетворения ограничений
Срок выполнения: 03.2012 -- 11.2013
Команда: Шалыто А.А. (Руководитель), Царев Ф.Н., Парфенов В.Г., Новиков Ф.А., Зубок Д.А., Гуров В.А., Корнеев Г.А., Буздалов М.В., Малаховски Я.М., Федотов П.В., Тихомиров А.В., Законов А.Ю., Клебанов А.А., Александров А.В., Казаков С.В., Сергушичев А.А., Ульянцев В.И., Чивилихин Д.С., Егоров К.В., Буздалова А.С., Бочкарев А.И., Бужинский И.П., Соколов А.А., Буланова Н.С., Кротков П.В., Ведерников Н.В., Долганов В.О., Петрова И.А.
Грантодатель: Министерство образования и науки Российской Федерации
Конкурс: Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. Мероприятие 1.2.1. «Проведение научных исследований научными группами под руководством докторов наук».
Номер соглашения: 14.B37.21.0397
Годовой объем гранта: 850000 ₽
Ключевые слова: машинное обучение, управляющие конечные автоматы, задача удовлетворения ограничений, сценарии работы программы, теория сложности, NP-полнота
Разработка метода машинного обучения на основе алгоритмов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов
Срок выполнения: 05.2011 -- 11.2013
Команда: Шалыто А.А. (Руководитель), Парфенов В.Г., Корнеев Г.А., Станкевич А.С., Царев Ф.Н., Федотов П.В., Ульянцев В.И., Чивилихин Д.С., Бужинский И.П.
Грантодатель: Министерство образования и науки Российской Федерации
Конкурс: Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. Мероприятие 1.2.1. «Проведение научных исследований научными группами под руководством докторов наук».
Номер соглашения: 16.740.11.0455
Годовой объем гранта: 750000 ₽
Разработка методов машинного обучения на основе генетических алгоритмов для построения управляющих конечных автоматов
Срок выполнения: 11.2009 -- 09.2010
Команда: Царев Ф.Н. (Руководитель), Егоров К.В., Буздалов М.В., Царев М.Н., Ульянцев В.И.
Грантодатель: Министерство образования и науки Российской Федерации
Конкурс: Федеральная целевая программа «Научные и научно-педагогические кадры инновационной России» на 2009–2013 годы. Мероприятие 1.3.2. «Проведение научных исследований целевыми аспирантами».
Номер соглашения: П2174
Годовой объем гранта: 800000 ₽
Ключевые слова: машинное обучение, конечные автоматы, автомат Мура, автомат Мили, генетические алгоритмы, эволюционные алгоритмы