«Математична інформатика»

1. Назва наукової школи.

Математична інформатика

2. Дійсний науковий керівник школи.

А. Анісімов, д-р фіз.-мат. наук, проф., чл.-кор. НАН України, Заслужений діяч науки і техніки України, лауреат Держ. премії України, премії ім. В. Глушкова НАН України, премії ім. С. Лебедєва НАН України, заслужений професор Київського університету, декан ф-ту кібернетики, зав. каф. мат. інформатики.

  1. Дата і місце заснування (на базі якої організації).

1984 р. на базі Київського державного університету імені Т.Г. Шевченка, каф. математичної інформатики ф-ту кібернетики.

  1. Засновник наукової школи.

А. Анісімов, д-р фіз.-мат. наук, проф., чл.-кор. НАН України, лауреат Держ. премії України, премії ім. В. Глушкова НАН України, премії ім. С. Лебедєва НАН України, декан ф-ту кібернетики, зав. каф. мат. інформатики.

Під керівництвом А.В. Анісімова станом на 2013р. захистились 5 докторів та 36 кандидатів наук.

5. Науковий потенціал* 5 докторів наук, 10 кандидатів наук.

п/п

Прізвище, ім’я по батькові

Наукова

ступінь

Вчене звання

Посада

1.

Анісімов Анатолій Васильович

д.ф.-м.н.

Професор

Декан ф-ту кібернетики

2.

Глибовець Микола Миколайович

д.ф.-м.н.

Професор

Професор, декан факультету інформатики НаУКМА

3.

Ляшенко Ігор Миколайович

д.ф.-м.н.

Професор

Професор

4.

Заславський Володимир Анатолійович

д.т.н.

Професор

Професор

5.

Терещенко Василь Миколайович

д.ф.-м.н.

Професор

Професор

6.

Вергунова Ірина Миколаївна

к.ф.-м.н.

Професор

Професор

7.

Кулябко Петро Петрович

к.ф.-м.н.

Доцент

Доцент

8.

Марченко Олександр Олександрович

к.ф.-м.н.

Доцент

Доцент

9.

Медведєв Михайло Геннадійович

к.ф.-м.н.

Доцент

Доцент

10.

Завадський Ігор  Олександрович

к.ф.-м.н.

Доцент

Доцент

11.

Дерев’янченко Олександр Валерійович

к.ф.-м.н.

 

Доцент

12.

Осадчий Євген Олександрович

к.т.н.

С.н.с.

Зав. лаб.

13.

Глибовець Андрій Миколайович

к.ф.-м.н.

Доцент

Доцент

14.

Порхун Олена Володимирівна

к.ф.-м.н.

 

Асистент

* штатні працівники університету або сумісники станом на 1.09.2013р.

6. Сучасний стан наукової школи. Популярність наукової школи.

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

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

7. Місце у світовій науці.

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

8. Міжнародні зв’язки.

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

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

Докладний опис школи

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

Засновник наукової школи: Анатолій Васильович Анісімов, д-р фіз.-мат. наук, проф., чл.-кор. НАН України, Заслужений діяч науки і техніки України, лауреат Держ. премії України, премії ім. В. Глушкова НАН України, премії ім. С. Лебедєва НАН України, заслужений професор Київського університету, декан ф-ту кібернетики, зав. каф. мат. інформатики.

 

Історія створення наукової школи «Математична інформатика»

У витоків інформатики на Україні в сучасному розумінні цього терміну стояв видатний вчений, математик, кібернетик академік В.М.Глушков (1923-1982 р.р.)

З інформатикою пов’язаний перехід від автоматизації допоміжних, рутинних операцій  розумової праці до використання машин безпосередньо в творчому процесі та оперативному управлінні, від систем обробки даних до систем інженерної обробки даних. Інформатика народжена на шляхах інтеграції (синтезу) досягнень кібернетики, теорії інформації, системотехніки, семіотики, організаційної науки.

Важливий напрямок інформатики, а саме створення формально-математичного апарату моделей алгоритмічної обробки інформації,  очолив один з визначних учнів академіка В.М.Глушкова професор Анісімов А.В.

В 1972 року А.В. Анісімов під керівництвом В.М. Глушкова захистив кандидатську дисертацію, в якій зв’язав класичну теорію груп та теорію формальних мов , що виникла в теорії програмування. В 1976-1977 роках А.В. Анісімов стажувався у всесвітньо відомому Стенфордському університеті США. Його науковим керівником у Стенфорді був відомий вчений, автор класичної праці з комп’ютерних наук “Мистецтво програмування” Дональд Кнут.

У 80-х роках А.В. Анісімовим побудована теорія рекурсивних перетворювачів інформації, яка є розвитком і узагальненням теорії скінченних дискретних перетворювачів, основи якої заклав академік В.М. Глушков. Саме в ці роки у професора Анісімова А.В. з’являються численні послідовники і учні, започатковується нова наукова школа – Математична інформатика. Сьогодні у діяльності школи беруть участь науковці, які працюють на кафедрі математичної інформатики факультету кібернетики, в Інституті кібернетики імені В. М. Глушкова НАН України, в Міжнародному науково-навчальному центрі інформаційних технологій і систем НАН України, Києво-Могилянській академії, в інших організаціях, установах України та за її кордонами. 

Під керівництвом А.В. Анісімова станом на 2013р. захистились 5 докторів та 36 кандидатів наук.

 

Відомі представники наукової школи: доктори фізико-математичних наук М. Глибовець, М. Яджак, В. Терещенко; професори Ю. Борейша, В. Оліщук,  Б. Шидловський.

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

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

 

Міжнародні зв’язки.

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



Факультет:  Факультет кібернети

Повернутися до списку

Анонс подій

05.08.2020
Обговорення питання змін до Закону України «Про публічні закупівлі»
Науково-дослідна частина Київського національного університету імені Тараса Шевченка провела нараду-майстер клас для наукових керівник НДР, під час якої було обговорено питання змін до Закону України «Про публічні закупівлі», а також новий порядок закупівлі товарів та послуг. детальніше...
29.07.2020
Українські науковці та підприємці можуть долучитись до 11 конкурсів з доступу до дослідницьких лабораторій ЄС у сфері ядерних досліджень
Об’єднаний дослідницький центр (JRC) Європейської Комісії оголосив 11 нових конкурсів у межах програми «Відкритий доступ до дослідницьких інфраструктур JRC». Участь у них можуть брати держави-члени ЄС та країни, асоційовані з Євратом (Україна та Швейцарія) детальніше...
24.07.2020
Вітаємо студентів факультету інформаційних технологій з перемогою у ІІ турі Всеукраїнського конкурсу студентських наукових робіт 2019/2020 навчального року
детальніше...
13.07.2020
Науковець КНУ імені Тараса Шевченка отримав стипендію Верховної Ради України
Мариничу Олександру Віталійовичу – доктору фізико-математичних наук, доцентові кафедри дослідження операцій факультету комп’ютерних наук та кібернетики призначено стипендію Верховної Ради України на виконання наукової роботи: «Регенерація у випадкових комбінаторних структурах» детальніше...
10.07.2020
“EUREKA Globalstars”
Україна вперше долучається до ініціативи “EUREKA Globalstars” у межах міжнародної інноваційної програми “EUREKA“. Це дасть змогу командам українського бізнесу, наукових установ та вишів взяти участь у спільному конкурсі проєктів між країнами-членами “EUREKA” та Сінгапуром: “Call for Joint R&D Projec... детальніше...
06.07.2020
Безкоштовний вебінар на тему «SciVal: Як оцінити результати досліджень у світі даних?»
Йтиметься про використання можливостей аналітичної платформи «SciVal», яка дає змогу проводити бенчмаркінг, стратегічне планування та отримувати інформацію, важливу для ефективного управління науково-технічною та інноваційною діяльністю детальніше...
Всі події