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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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