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

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

 

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

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



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

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

Анонс подій

19.10.2017
Тиждень Відкритого Доступу
23-29 жовтня 2017 року у світі відзначатиметься Міжнародний Тиждень Відкритого Доступу детальніше...
18.10.2017
Київський університет на шпальтах періодичних видань та матеріалів конференцій
Науково-аналітичний огляд «Київський університет на шпальтах періодичних видань та матеріалів конференцій» № 7/9 (липень–вересень) за 2017 рік детальніше...
17.10.2017
Університет представив розробки на XIV Міжнародній спеціалізованій виставці "Зброя і безпека 2017"

Київським національним університетом імені Тараса Шевченка представлено розробки на XIV-й Міжнародній спеціалізованій виставці «Зброя та безпека 2017».

детальніше...
13.10.2017
Оголошений конкурс на заміщення вакантних посад наукових працівників
Документи приймаються до 25 жовтня 2017р. включно за адресою: вул. Льва Толстого, 14-а, Наукова частина, к.11, тел. (044)239-31-41
Графік засідання експертних груп для попереднього розгляду справ претендентів буде повідомлено додатково. детальніше...
12.10.2017
Виставка "Зброя та безпека-2017"
З 10 по 13 жовтня Університет бере участь у XIV Міжнародній спеціалізованій виставці "Зброя та безпека-2017" 
детальніше...
12.10.2017
Науково-аналітичний огляд «Вища освіта і наука»
Інформаційно-бібліографічний відділ Наукової бібліотеки ім. М. Максимовича пропонує новий випуск науково-аналітичного огляду «Вища освіта і наука» № 9 (вересень) за 2017 рік детальніше...
Всі події