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

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

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

Біографія

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

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

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

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

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

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

Сфера наукових інтересів

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

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

Посилання

Примітки
  1. Енциклопедія сучасної України — Інститут енциклопедичних досліджень НАН України, 2001. — ISBN 94-402-3354-X
  2. Указ Президента України «Про присудження Державних премій України в галузі науки і техніки 2018 року» від 8 квітня 2019 № 110/2019
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.