ПРОВОТА́Р Олександр Іванович (30. 04. 1958, смт Димер, нині Вишгородського р-ну Київської обл.) — фахівець у галузі прикладної математики й інформатики. Доктор фізико-математичних наук (1997), професор (2001). Державна премія України в галузі науки і техніки (2003), премія імені В. Глушкова НАНУ (1999). Закінчив Київський університет (1981). Від­тоді працював в Ін­ституті кібернетики НАНУ (Київ): 1997–2000 — провід­ний науковий спів­робітник. 2000–03 — завідувач кафедри компʼютерних технологій на­вча­н­ня Київського лінгвістичного університету; від 2003 — завідувач кафедри інтелектуальних про­грамних систем Київського університету. Наукові дослідже­н­ня: математична логіка, теорія алгоритмів, теорія категорій, теорія формальних систем, штучний інтелект, нанотехнології, біо­інформатика, про­грамува­н­ня. Роз­робив теорію абстрактних обчислювальних структур та під­ходи до її за­стосува­н­ня в некласичних і нетрадиційних логіках; створив низку екс­пертних систем діагностики на основі нових під­ходів до ви­вче­н­ня слабких (інформаційних) взаємодій обʼєктів різної природи.