1. Назва наукової школи: «Математична інформатика».

2. Дійсний науковий керівник школи: чл.-кор. НАН України А.В. Анісімов.

3. Дата і місце заснування – 1984 р. на базі Київського національного університету імені Тараса Шевченка, кафедри математичної інформатики факультету кібернетики.

4. Засновник наукової школи: чл.-кор. НАН України А.В. Анісімов.

5. Науковий потенціал (не менше 5 докторів наук, не менше 10 кандидатів наук (штатні працівники університету або сумісники на 01.09.2013 р.).

6. Сучасний стан наукової школи. Популярність наукової школи –основні напрями наукових досліджень школи: теорія кодування, рекурсивно-паралельні перетворювачі інформації та їх використання; дискретні процеси обробки інформації; системи паралельного програмування; локальні алгоритми на дискретних структурах; алгоритми асоціативно-локального пошуку в семантичних мережах; групова криптографія; комп'ютерна лінгвістика; квантові алгоритми; проблематика штучного інтелекту; захист інформації в комп'ютерних мережах; комп'ютерна обробка надвеликих чисел. На базі теоретичної моделі рекурсивних перетворювачів інформації побудовано нову технологію програмування ПАРКС (паралельні асинхронні рекурсивні керуючі системи), розширені уніфіковані базові мови програмування засобами паралельної взаємодії та рекурсивного породження процесів. Побудовано та реалізовано клас ПАРКС мов програмування. Започатковано напрям «рекурсивний аналіз природньої мови». Виконані роботи зі створення комп'ютерних систем реферування та класифікації текстів природньою мовою.

Впровадження наук. досягнень школи: реалізація ПАРКС технології програмування; розробка систем комп’ютерного розуміння природномовних текстів – систем семантичного реферування, класифікації та кластеризації; реалізація глобальної онтологічної бази знань для української мови «УкрWordNet»; реалізовано нові класи швидких завадостійких кодів та кодів для стиснення інформації; створено технологію мультиконформних 3D перетворень для задач комп’ютерної графіки; розроблено та впроваджено пристрої «Екзоскелетон» для медичного застосування. Розроблено практичні методи групової криптографії. Наук. досягнення школи дозволили започаткувати в Київ. ун-ті та Міжн. наук.-навч. центрі інформаційних технологій і систем НАН України підготовку магістрів з інформатики.

7. Місце у світовій науці – численні результати науковців школи покращують світові досягнення у відповідних напрямках досліджень. Співробітники кафедри математичної інформатики постійно запрошуються та беруть участь у міжнародних конференціях та виставках.

8. Міжнародні зв’язки – представники наукової школи математичної інформатики підтримують зв’язки та проводять спільні дослідження з науковцями ряду європейських університетів: Единбурзький університет (Великобританія), університет м. Барселона (Іспанія), Віденський технічний університет (Австрія), університет Констанц (Німеччина), університет Йовик (м. Йовик, Норвегія), університет Аглер (м. Крістіанса́нн, Норвегія), укладена угода про обмін магістрами між Україною та університетом Нурланда (м. Буде, Норвегія). Вергунова І.М. отримала ступінь д-ра габілітації в Дебреценському ун-ті (Угорщина). Вихованці наукової школи математичної інформатики працюють в університетах різних країн світу: проф. Борейша Ю.Е. (Оман), проф. Оліщук В.А. (Норвегія), проф. Шидловський Б.Б. (Франція), проф. Д. Зайферт (Німеччина).

Затверджено вченою радою факультету (інституту) «16» вересня 2013 р.

Декан факультет/директор інституту А.В. Анісімов