Народився 30 квітня 1958 р., с.м.т. Димер, Вишгородський р-н, Київська обл.
Закінчив у 1981році Київський національний університет імені Тараса Шевченка.
У 1989 році захистив кандидатську дисертацію за спеціальністю «Математичне та програмне забезпечення обчислювальних машин та систем (01.05.03)» на тему “S-трансляції та їх застосування”.
У 1997 році захистив докторську дисертацію 1997, за спеціальністю «Теоретичні основи інформатики та кібернетики (01.05.01)» на тему “Категорні методи в теорії метаматематичних моделей рекурсії”.
З 2003 року – завідувач кафедри інформаційних систем факультету кібернетики Київського національного університету імені Тараса Шевченка.
Дисципліни, що викладаються:
- Логіко-алгебраїчні моделі в інформаційних технологіях,
- дискретна математика,
- теорія формальних систем,
- штучний інтелект,
- біоінформатика.
Можливі напрямки досліджень для магістрів філії:
- Алгоритми, логіка, складність; нечітка логіка; елементи категорного аналізу; математична лінгвістика.
- Штучний інтелект (нечітка логіка, наближені множини, експертні системи), теорія топосів та її застосування в Computer Science, біоінформатика.
Публікації за останні 5 років:
Василик П.В., Провотар А.И. О паралогичности некоторых логических построений //КИСА. – 2008. – №3. – C. 180-186.
Кривий С.Л., Провотар О.І. Вступ до некласичної математичної логіки. – ВПЦ “Київський університет”. – 2010. – 208 с.
А. Provotar, L.Katerynych. Homeopath: Diagnostic information system // Journal of Mathematics and Applications. – 2010. – №32. pp. 75-84.
Ченцов А.И., Провотар А.И. Конечные декартовы произведения объектов натуральных чисел в топосах // Компьютерная математика. – 2004. – №2. – С. 136 – 143.
Сергієнко І.В., Кривий С.Л., Провотар О.І. Алгебраїчні аспекти інформаційних технологій. – Наукова думка. – 2011. – 390 с.
