КРИВИ́Й Сергій Лукʼянович (10. 08. 1949, с. Заозерне Тульчинського ра­йону Він­ницької обл.) — математик. Доктор фізико-математичних наук (1998), професор (2003). Державна премія України в галузі науки і техніки (2018). Закінчив Київський університет (1972). Працював в Ін­ституті кібернетики НАНУ (Київ, 1975–2008): від 1998 — провід­ний науковий спів­робітник; водночас 1998–2000 — завідувач кафедри інформаційних технологій проектува­н­ня Київського університету технологій та дизайну, 2000–10 — Хмельницького університету; від 2007 — професор кафедри інформаційних систем Київського університету. Наукові дослідже­н­ня присвячені пита­н­ням дис­кретної математики, теорії складності обчислень, автоматів, мереж Петрі, проектува­н­ня, аналізу, оптимізації та об­ґрунтува­н­ня про­грам і алгоритмів, про­грамуван­ню з обмеже­н­нями, верифікації властивостей ре­активних систем.