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

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 перетворень для задач комп’ютерної графіки; розроблено та впроваджено пристрої «Екзоскелетон» для медичного застосування. Розроблено практичні методи групової криптографії. Наук. досягнення школи дозволили започаткувати в Київ. ун-ті та Міжн. наук.-навч. центрі інформаційних технологій і систем НАН України підготовку магістрів з інформатики.

 

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

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



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

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

Анонс подій

16.08.2017
Склад та порядок оформлення документів стосовно службових відряджень
Бухгалтерія Київського національного університету імені Тараса Шевченка надає інформацію про склад та порядок оформлення документів стосовно службових відряджень, які заплановано за рахунок загального фонду по KПKBK 2201290 детальніше...
16.08.2017
ПОСТАНОВА КАБІНЕТУ МІНІСТРІВ УКРАЇНИ № 541 від 19.07.2017 р.
Положення про Національний репозитарій академічних текстів детальніше...
16.08.2017
Наказ МОН України від 02.08.2017 №1110
Про затвердження Порядку забезпечення доступу вищих навчальних закладів і наукових установ, що знаходяться у сфері управління Міністерства освіти і науки України детальніше...
14.08.2017
Перші ластівки активізації виставкової діяльності Університету
Активна виставкова діяльність Університету, якою опікується апарат Науково-дослідної частини, вже дає фінансові результати. Одним з таких результатів є укладання договору між Університетом та ТОВ «НВЦ «Інфозахист» на створення першого бюджетного вітчизняного лазерного допплерівського віб... детальніше...
11.08.2017
Публікаційна активність співробітників Університету
У розділі "Оцінювання наукової роботи" - http://science.univ.kiev.ua/research/analytics/ опубліковані списки по публікаційній активності співробітників Університету, для ознайомлення.
детальніше...
04.08.2017
Наказ МОН України від 31.07.2017 № 1104 "Про затвердження експертних оцінок проектів фундаментальних і прикладних досліджень та науково-технічних (експериментальних) розробок"
детальніше...
Всі події