Математические аспекты фундаментальной информатики

Проект: ИсследованиеКЦП

Сведения о проекте

Описание

Целью проекта является формирование в УрФУ исследовательского центра мирового уровня в области теоретической информатики.
В настоящее время в России таких центров нет: в силу ряда причин, в нашей стране мало конкурентоспособных на мировом уровне исследователей в данной области, а исследовательских групп и вовсе единицы. В то же время, от исследований по теоретической информатике в конечном итоге зависит прогресс всей информационной сферы.
При той огромной роли, которую информатика и информационные технологии играют в современном обществе, актуальность создания такого исследовательского центра очевидна. Перспективы его формирования именно в УрФУ основаны, в первую очередь, на наличии в ИМКН двух исследовательских групп, имеющих международное призвание и широкие международные связи. Это группы по теории автоматов (руководитель – зав. кафедрой алгебры и дискретной математики профессор М.В.Волков) и по комбинаторике слов (руководитель – профессор кафедры алгебры и дискретной математики А.М. Шур). В указанные группы вовлечено много способной молодежи.
Научные группы М.В.Волкова и А.М.Шура активно сотрудничают с коллективами родственной тематики в различных странах, участвуют в ряде международных научных проектов. Важно отметить, что в такое сотрудничество вовлечены не только руководители, но и молодые участники этих научных групп.

Конечные планируемые результаты проекта:
(1) создание крупного научного центра мирового уровня в области теоретической информатики ;
(2) выстраивание системы обучения по направлению «Фундаментальная информатика и информационные технологии» на английском языке с ориентацией обучаемых на исследовательскую деятельность ;
(3) создание системы международных научных конференцией и молодежных школ в области компьютерных наук и информационных технологий на базе УрФУ;
(4) углубление и формализация существующих международных связей, участие в одном-двух двусторонних и по крайней мере одном многостороннем международном научном проекте.
СтатусАктивный
Действительная дата начала/окончания03/12/2013 → …

Стратегические Академические Единицы (САЕ)

  • ИЕНиМ

Финансирование

  • Финансирование: Постановление №211 Правительства Российской Федерации, контракт № 02.A03.21.0006

Fingerprint

Просмотреть темы исследований, затронутые в этом проекте. Эти метки созданы на базе основных наград/грантов. Вместе они формируют уникальную картину активности.
  • Visualization of the evolutionary path : An influenza case study

    Forghani, M., Vasev, P., Ramsay, E. & Bersenev, A., 2021, В: CEUR Workshop Proceedings. 3027, стр. 358-368 11 стр.

    Результат исследований: Вклад в журналМатериалы конференциирецензирование

  • Associative Algebras with a Distributive Lattice of Subalgebras

    Gein, A. G., ноя 2020, В: Algebra and Logic. 59, 5, стр. 349-356 8 стр.

    Результат исследований: Вклад в журналСтатьярецензирование

  • Comparative web search questions

    Bondarenko, A., Braslavski, P., Völske, M., Aly, R., Fröbe, M., Panchenko, A., Biemann, C., Stein, B. & Hagen, M., 20 янв 2020, WSDM 2020 - Proceedings of the 13th International Conference on Web Search and Data Mining. Association for Computing Machinery (ACM), стр. 52-60 9 стр. (WSDM 2020 - Proceedings of the 13th International Conference on Web Search and Data Mining).

    Результат исследований: Глава в книге, отчете, сборнике статейМатериалы конференциирецензирование

    Открытый доступ
    5 Цитирования (Scopus)
  • Comparing intelligent personal assistants on humor function

    Lopatovska, I., Braslavski, P., Griffin, A., Curran, K., Garcia, A., Mann, M., Srp, A., Stewart, S., Al Thani, A., Mish, S., Wang, W. & Maceli, M. G., 1 янв 2020, Sustainable Digital Communities - 15th International Conference, iConference 2020, Proceedings. Sundqvist, A., Berget, G., Skjerdingstad, K. I. & Nolin, J. (ред.). Springer Verlag, стр. 828-834 7 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12051 LNCS).

    Результат исследований: Глава в книге, отчете, сборнике статейМатериалы конференциирецензирование

    1 Цитирования (Scopus)