Алгебро-автоматні методи побудови інтелектуальних інформаційних систем

1. Назва наукової школи: «Алгебро-автоматні методи побудови інтелектуальних інформаційних систем».

2. Дійсні наукові керівники школи: професори О.І. Провотар, С.Л. Кривий.

3. Дата і місце заснування: Київський національний університет імені Тараса Шевченка.

4. Засновники наукової школи: професори О.І. Провотар, С.Л. Кривий.

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

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

Дата народження

Науковий

ступінь

Вчене звання

Посада

1

Провотар Олександр Іванович

30.04.1958

д.ф.-м.н.

професор

зав.кафедри

2

Кривий Сергій Лук’янович

10.08.1949

д.ф.-м.н.

професор

професор

3

Стецюк Петро Іванович

03.11.1958

д.ф.-м.н.

с.н.с.

професор

4

Єршов Сергій Володимирович

17.05.1965

д.ф.-м.н.

с.н.с

доцент

5

Протасов Ігор Володимирович

07.09.1953

д.ф.-м.н.

професор

п.н.с

6

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

14.05.1954

к.ф.-м.н.

доцент

доцент

7

Шевченко Володимир Петрович

20.05.1949

к.ф.-м.н.

доцент

доцент

8

Ченцов Олексій Ілліч

25.11.1976

к.ф.-м.н.

-

доцент

9

Галкін Олександр Володимировач

17.05.1974

к.ф.-м.н.

доцент

доцент

10

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

24.06.1982

к.т.н.

доцент

доцент

11

Верес Максим Миколайович

09.01.1978

к.ф.-м.н.

доцент

доцент

12

Катеринич Лариса Олександрівна

14.01.1980

к.ф.-м.н.

доцент

доцент

13

Шкільняк Оксана Степанівна

16.12.1984

к.ф.-м.н.

-

асистент

14

Гришко Юлія Олександрівна

12.03.1985

к.ф.-м.н.

-

асистент

15

Ходзінський Олександр Миколайович

13.05.1950

к.ф.-м.н.

доцент

доцент

16

Лялецький Олександр Олександрович

02.01.1982

к.ф.-м.н.

-

м.н.с

17

Лялецький Олександр Вадимович

23.02.1947

к.ф.-м.н.

с.н.с

с.н.с

18

Ліндер Ярослав Миколайович

28.03.1988

к.ф.-м.н.

-

асистент

19

Максимець Олександр Миколайович

07.04.1987

-

-

асистент

20

Терлецький Дмитро Олександрович

02.09.1988

-

-

аспірант

21

Лапко Олександр Вікторович

25.07.1987

-

-

аспірант

6. Сучасний стан наукової школи. Популярність наукової школи – Найважливіші фундаментальні дослідження – розробка категорних основ теорії обчислюваності, розробка теоретичних основ узагальненої теорії нечітких множин, дослідження нових підходів до вивчення “інформаційних” моделей біологічних об’єктів та “інформаційних” технологій лікування, розробка теоретичних основ верифікації функціональних та реактивних систем, побудова онтології предметних областей, аналіз природньомовних текстів.

7. Громадське визнання досягнень представників школи:

Провотар О.І.

1. Лауреат премії М.Островського в області науки і техніки (1987).

2. Лауреат премії імені В.М. Глушкова (1999).

3. Лауреат Державної премії України (2003).

Шевченко В.П.

1. Лауреат премії Т.Г. Шевченка Київського національного університету імені Тараса Шевченка (2004).

2. Нагороджений відзнакою Вченої Ради Київського національного університету імені Тараса Шевченка ІІІ-го ступеня (2006).

3. Нагороджений орденом «За заслуги ІІІ ступеня» (2009).

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

Співпраця з університетами: м. Жешів, м.Ченстохова (Польща), м. Агдер (Норвегія), м. Лейпціг (ФРН), м. Берлін (ФРН), м. Констранц (ФРН), м. Палермо (Італія), м.Бєлград (Сербія), інститут ядерних досліджень м. Варна (Болгарія), з ІТ- компаніями: Microsoft, EPAM Systems, ABBYY Україна, Informix, 1C Україна.

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

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


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

Анонс подій

15.10.2019
Оголошено переможців українсько-литовського наукового конкурсу наукових проектів
Два проєкти науковців КНУ імені Тараса Шевченка перемогли у конкурсі українсько-литовських науково-дослідних проектів на 2020-2021 роки детальніше...
08.10.2019
XVI Міжнародна спеціалізована виставка "Зброя та безпека 2019"
Сьогодні, 8 жовтня 2019 року відбулось офіційне відкриття XVI Міжнародної спеціалізованої виставки "Зброя та безпека 2019".
Відкривали захід міністр внутрішніх справ України Арсен Аваков та міністр оборони України Андрій Загороднюк. 
детальніше...
07.10.2019
В неділю 06.10.2019 року в Бізнес школі Наукового парку Київського національного університету імені Тараса Шевченка пройшов перший майстер-клас з використання бізнес моделі Canvas для презентації винаходів та проектів винахідників Університету на виставці
В неділю 06.10.2019 року в Бізнес школі Наукового парку Київського національного університету імені Тараса Шевченка пройшов перший майстер-клас з використання бізнес моделі Canvas для презентації винаходів та проектів винахідників Університету на виставці "Зброя та безпека 2019" детальніше...
07.10.2019
Вітаємо наших студентів з перемогою у Всеукраїнській студентській олімпіаді 2018-2019 навчального року
Відповідно до наказу МОН №1060 від 05.08.2019 р. "Про підсумки Всеукраїнської студентської олімпіади 2018/2019 року" оголошено переможців переможців Всеукраїнської студентської олімпіади 2018-2019 навчального року серед яких є і наші студенти детальніше...
04.10.2019
Тестовий доступ до мультидисциплінарної бази даних EBSCO
З 1 жовтня по 1 листопада 2019 р. Наукова бібліотека ім. М. Максимовича,  в рамках співпраці з Асоціацією "ELibUkr", пропонує вам скористатись тестовим доступом до  мультидисциплінарної  бази даних EBSCO (пакет «EP Package Standard») детальніше...
03.10.2019
Науковці КНУ імені Тараса Шевченка у Scopus та Web of Science
Пропонуємо Вам ознайомитись з переліками нових документів авторів нашого Університету, які почали індексуватись у базах Scopus та Web of Science у вересні 2019 року детальніше...
Всі події