Крывый Сергей Лукьянович 

ORCID: https://orcid.org/0000-0003-4231-0691

Scopus: 6507364579

Researcher ID: L-5823-2017, Google Scholar,

Профиль на портале НБУВ: ID: 0351092

Научная степень, ученое звание: доктор физико-математических наук по специальности 01.05.01 — теоретические основы информатики и кибернетики, профессор по кафедре информационные технологии проектирования.

Область научных интересов: дискретная математика, теория автоматов, прикладная математическая логика, сети Петри, информатика, информационные технологии

Тема докторской диссертации: «Итеративные методы анализа процедурных программ», 1998.

Место работы: Киевский национальный университет имени Тараса Шевченко.

Должность: профессор кафедры интеллектуальных программных систем факультета компьютерных наук и кибернетики

Образование: Киевский государственный университет имени Тараса Шевченко, факультет кибернетики, 1972

Контактные данные: sl.krivoi@gmail.com

Публикации в Scopus и Web of Science (2015-2019)

1. Крывый С.Л., Опанасенко В.Н. Разделение множества векторов с целыми  неотрицательными  координатами с использованием логических аппаратных средств. «Кибернетика и системный   анализ”. 2018. 54 (2). С.310-319..
2. Крывый С.Л., Погорелый С.Д., Бойко Ю.В. и др.  Проектирование грид-структур на основе транзиционных сиcтем с обоснованием   правильности их функционирования.   «Кибернетика и системный анализ”. 2017. 53 (1). С.122-133.
3. Палагин А.В., Опанасенко В.Н., Крывый С.Л. Green IT Engineering: Components, Networks and Systems Implementation“, chapter ‘’Resource and Enerdy Optimisation Oriented Development of FPGA-Based Adaptive Logical Networks for Classification Problem’’. Springer Verlag. 2016. pp. 195-218.