Кривий Сергій Лук'янович

Кривий Сергій Лук'янович
Народився	10 серпня 1949(1949-08-10) (75 років)  Заозерне, Тульчинський район, Вінницька область, Українська РСР, СРСР
Діяльність	математик, викладач університету
Alma mater	Факультет комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка (1972)
Заклад	Інститут кібернетики імені В. М. Глушкова НАН України Київський національний університет технологій та дизайну Хмельницький національний університет КНУ імені Тараса Шевченка[1]
Науковий ступінь	доктор фізико-математичних наук (1998)
Науковий керівник	Летичевський Олександр Адольфович
Аспіранти, докторанти	Максимець Олександр Миколайовичd
Нагороди

Сергій Лук'янович Кривий (нар. 10 серпня 1949, с. Заозерне Тульчинського району Вінницької області)^[2] — український вчений-кібернетик, доктор фізико-математичних наук, професор, Лауреат Державної премії України в галузі науки і техніки (2018)^[3].

У 1972 закінчив факультет кібернетики Київського державного університету ім. Т. Г. Шевченка, за спеціальністю «прикладна математика».

1978 — закінчив аспірантуру Інституту кібернетики імені В. М. Глушкова НАН України.

1982 — захистив кандидатську дисертацію на тему «Пошук інваріантів програм над вільними алгебрами даних». Науковий керівник —академік НАН України Олександр Летичевський.

1998 — захистив докторську дисертацію на тему «Ітеративні методі аналізу програм над однорівневою пам'яттю».

З 2008 — професор кафедри інформаційних систем (інтелектуальних програмних систем) факультету кібернетики Київського національного університету імені Тараса Шевченка.

Під керівництвом Кривого С. Л. захищено 7 кандидатських дисертацій.

Теорія автоматів, оптимізація та верифікація програм і алгоритмів.

• Кривий С. Л., Основи дискретної математики (підручник) Київ, LITSOFT, 2000, т. 1, 380 стор. (перше видання) (у співавторстві).
• Кривий С. Л., Основи дискретної математики (підручник) Київ, LITSOFT, 2000, т. 2, 380 стор. (перше видання) (у співавторстві).
• Кривий С. Л., Основи дискретної математики (підручник) Київ, Наукова думка, 2002, 578 стор. (друге видання) (у співавторстві).
• Кривий С. Л., Провотар О. І. Вступ до некласичної математичної логіки. Видавництво Київського національного університету. — 2010.
• Сергієнко І. В., Кривий С. Л., Провотар О. І. Алгебраїчні аспекти інформаційних технологій. — К.: Наукова думка. — 2011.
• Кривий С. Л. Вступ до методів створення програмних продуктів (навчальний посібник). Чернівці-Київ: «Букрек». — 2012. — 424 с.
• Кривий С. Л. Збірник задач з дискретної математики. — Чернівці: Букрек — 2018. — 456 с.

• Інформація на сайті факультету кібернетики Університету ім. Т. Г. Шевченка [Архівовано 27 листопада 2021 у Wayback Machine.]
• О. І. Провотар. Кривий Сергій Лук'янович
  // Енциклопедія сучасної України / ред. кол.: І. М. Дзюба [та ін.] ; НАН України, НТШ. — К. : Інститут енциклопедичних досліджень НАН України, 2014. — Т. 15 : Кот — Куз. — 711 с. — ISBN 978-966-02-7305-4.