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

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р.

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


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

Анонс подій

05.05.2023
Всеукраїнський конкурс студентських наукових робіт
Якщо Ви б хотіли проявити себе як науковця та посприяти розвитку науки серед молоді України, цей конкурс стане ідеальною для цього можливістю, адже він здійснюється за підтримки Міністерства освіти і науки України.
У Конкурсі можуть взяти участь усі студенти нашого університету, у тому числі іноземні... детальніше...
07.04.2023
Оголошено прийом заявок для участі в конкурсі спільних проєктів
В рамках партнерства Twinning Единбурзький університет отримав фінансування від організації Universities UK для підтримки партнерства з КНУ, і наразі створено фонд у розмірі 40 тисяч фунтів стерлінгів детальніше...
05.04.2023
COST Action: можливості розвитку міжнародної співпраці для науковців університету
06 квітня 2023 року о 15:00 у гібридному форматі відбудеться інформаційний захід про можливості програми COST для українських науковців. 
детальніше...
05.04.2023
Конкурс спільних українсько-німецьких науково-дослідних проєктів для реалізації у 2024-2025 роках
До 22 червня 2023 року Міністерство освіти і науки України та Федеральне міністерство освіти та досліджень Німеччини приймають заявки на участь у конкурсі спільних українсько-німецьких науково-дослідних проєктів для реалізації у 2024-2025 рр. детальніше...
05.04.2023
НОВА СТИПЕНДІАЛЬНА ПРОГРАМА EURIZON: “Дистанційні дослідницькі гранти для українських дослідників”
Секретаріат EURIZON WP9 оголосив про початок нової програми підтримки EURIZON: «Дистанційні дослідницькі гранти для українських дослідників», що присвячена підтримці українських дослідників, чиїй роботі завадила війна росії проти України. Програма спрямована на команди вразливих дослідників та інших... детальніше...
05.04.2023
YOUNG INNOVATION HACKATHON
Київський національний університет імені Тараса Шевченка та Європейська мережа підприємств Україна (Enterprise Europe Network Ukraine), за підтримки МОН України, запрошують вас взяти участь у міжнародному стартап заході: YOUNG INNOVATION HACKATHON, який відбудеться в КНУ 18-28 квітня 2023 ро... детальніше...
Всі події