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

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

 

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

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



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

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

Анонс подій

06.12.2016
Онлайн-семінари по роботі з платформою Web of Science (оновлено)
Наукова бібліотека рекомендує Вам взяти участь у черговій серії онлайн-семінарів по роботі з платформою Web of Science та іншими ресурсами для наукової діяльності, яка відбуватиметься в період з 7 по 9 грудня 2016 року детальніше...
02.12.2016
Проведення повірки засобів вимірювальної техніки
01 грудня 2016 року між Київським національним університетом імені Тараса Шевченка і ДП «Укрметртестстандарт» укладено договір №41-00704/16-К про проведення повірки засобів вимірювальної техніки. 
детальніше...
30.11.2016
Інформаційні семінари "Горизонт 2020. Дії Марії Кюрі: умови участі та фінансування"

28 та 29 листопада 2016 року в місті Дніпро на базі Департаменту освіти та науки Дніпропетровської державної адміністрації, Українського державного хіміко-технологічного університету, Дніпропетровського державного аграрно-економічного університету та Університету митної справи та фінансів було проведено...

детальніше...
28.11.2016
Результати конкурсного відбору проектів НДР на 2017 рік
Наказом МОН України від 31.10.2016 №1296 затверджено перелік проектів фундаментальних і прикладних досліджень та науково-технічних (експериментальних) розробок вищих навчальних закладів та наукових установ, які належать до сфери управління Міністерства освіти і науки України, з експертними балами, о... детальніше...
25.11.2016
КНУ взяв участь у Міжнародному форумі «Innovation Market»
22-24 листопада 2016 року Університет взяв участь у Міжнародному форумі «Innovation Market», який відбувся на базі Міжнародного Виставкового Центру (Київ, Броварський проспект, 15). детальніше...
24.11.2016
Підготовка та прийняття звітів з науково-дослідницької роботи у 2016 р. (розпорядження №141 від 23.11.2016 р.)
Про підготовку та прийняття звітів з науково-дослідницької роботи
детальніше...
Всі події