Научно-образовательный центр инновационного программирования

НОЦ создан в 2006 году целью проведения фундаментальных и прикладных исследований в области современного программирования и верификации систем, продвижения существующих разработок и технологий в различные сферы деятельности.

Научный руководитель НОЦ - доктор физико-математических наук, профессор, заведующий кафедрой теоретической информатики Соколов Валерий Анатольевич, тел. (4852)- 30-25-64

Основные направления деятельности НОЦ

1. Образовательная деятельность, направленная на подготовку, переподготовку и повышение квалификации специалистов в области современных методов создания программных комплексов и инновационного программирования.
2. Научно-исследовательская деятельность по разработке принципов моделирования, спецификации и верификации распределенных систем, а также методов и технологий синхронного и «автоматного» программирования, направленных на построение надежных программ для систем управления широкого профиля.
3. Инновационная деятельность с целью продвижения научных исследований и новых разработок для создания конкурентоспособного наукоемкого продукта.
4. Поддержка научной деятельности студентов, аспирантов и молодых ученых.
5. Развитие партнерских связей с российскими и зарубежными научно-образовательными центрами.

Структура НОЦ включает в себя учебные, учебно-научные и научно-производственные лаборатории, рабочие группы для выполнения НИР и образовательных проектов.

Проекты НОЦ

Заказчик Минобрнауки РФ,
тематический план НИР вуза
• «Нейронные сети нового поколения на динамических элементах с запаздыванием для решения задач распознавания образов и ассоциативной памяти.» - 2011;

проекты АВЦП «Развитие научного потенциала высшей школы» 2009-2011 годы:
• «Разработка системы автоматизации работы структур ИТ парка с применением технологий машинного обучения для автоматической классификации данных при трансфере технологий и взаимодействии научного и бизнес секторов.» (2009-2011),
• «Создание распределенной образовательной среды мультимедиа взаимодействия с централизованными источниками информации и индивидуальными пользователями для стандартных и беспроводных IPv6 сетей.» (2009-2011);

государственные контракты ФЦП «Научные и научно-педагогические кадры инновационной России» 2009-2013 годы:

• «Моделирование и анализ информационных и телекоммуникационных систем» (2012-2013),
• «Разработка, моделирование и анализ производительности транспортных протоколов в коммуникационных сетях» (2012-2013),
• «Разработка фундаментальных принципов и инновационных прикладных методов для моделирования, анализа и верификации информационных систем.» (2009-2011),
• «Задача целочисленного сбалансирования трехмерной матрицы.» (2010-2011);

Заказчик РФФИ

• «Автоматическое построение тезауруса как метаописания предметной области по оцифрованным справочным и научным источникам (на примере поэтологии)» (2016-2018),
• «Исследование и разработка методов и средств организации высокоскоростных беспроводных автоконфигурируемых сетей подвижных объектов» (2015-2016),
• «Моделирование, анализ и верификация новых транспортных протоколов для современных коммуникационных сервисов» (2014-2015),
• «Методы моделирования и верификации программ логических контроллеров» (2012-2014),
• «Разработка, моделирование и анализ коммуникационных протоколов транспортного уровня с управлением потоком передачи данных, минимизирующим задержку» (2012-2013),
• «Счетчиковые сети ограниченной размерности» (2012-2013),
• «Разработка формальных моделей распределенных систем и исследование их семантических свойств.» (2007-2009),
• «Разработка, моделирование и анализ новых коммуникационных протоколов.» (2011-2013);