Співробітники кафедри

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

професор кафедри інтелектуальних програмних систем,
доктор фізико-математичних наук, професор

Посилання: Scopus, Publons, IEEE Xplore, Google Scholar, DBLP, zbMATH, ORCID.

Email: krivoi At i Dot com Dot ua

Освіта та кар'єра:

1972 р. — закінчив Київський державний університет імені Тараса Шевченка, факультет кібернетики.

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

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

1998 р. — захистив докторську дисертацію на тему «Ітеративні методі аналізу програм над однорівневою пам’яттю». Науковий консультант — доктор фізико-математичних наук, професор, академік НАН України Летичевський О.А.

1975-1986 рр. — працював на посаді молодшого наукового співробітника Інституту кібернетики ім. В.М.Глушкова НАН України, відділ «Теорії цифрових автоматів».

1986-1991 рр. — працював на посаді наукового співробітника Інституту кібернетики ім. В.М.Глушкова НАН України, відділ «Теорії цифрових автоматів».

1991 1998 рр. — працював на посаді старшого наукового співробітника Інституту кібернетики ім. В.М.Глушкова НАН України, відділ «Теорії цифрових автоматів».

1992-1998 рр. — працював на посаді доцента кафедри прикладної математики та інформатики Київського національного університету технологій та дизайну.

1998-2000 рр. — працював на посаді завідувача кафедри технологій проектування Київського національного університету технологій та дизайну.

1998-2008 рр. — працював на посаді провідного наукового співробітника Інституту кібернетики ім. В.М.Глушкова НАН України, відділ «Теорії цифрових автоматів».

2008-2010 рр. — був членом спеціалізованої вченої ради по захисту дисертацій Інституту космічних досліджень НАНУ.

2008-2011 рр. — був членом спеціалізованої вченої ради по захисту дисертацій Національного авіаційного університету.

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

2016-2019 рр. — професор кафедри інформаційних систем факультету комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка.

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

На даний момент є членом спеціалізованих вчених рад по захисту дисертацій:

Київського національного університету імені Тараса Шевченка,
Інституту кібернетики імені В.М. Глушкова НАН України.

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

Теорія автоматів.
Теорія мереж Петрі.
Верифікація програмного забезпечення.
Дискретна математика.
Теорія складності обчислень.
Теорія рекурсії.
Технології створення програмних продуктів.
Прикладна математична логіка.
Теорія графів.
Криптографія.

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

2005 р. — Матвеєва Л.Є. «Аналіз і верифікація MSC-систем за допомогою мереж Петрі». Місце захисту: Інститут кібернетики ім. Глушкова НАН УКраїни, Київ, Україна.
2009 р. — Сєдлецка Ольга «Методи мінімізації квантових автоматів (Metody minimalizacji automatów kwantowych)». Місце захисту: Ченстоховський технічний університет, Ченстохова, Польща.
2010 р. — Димора Павел «Топологічні і алгоритмічні механізми підвищення надійності систем з'єднань (Topologiczne i algorytmiczne mechanizmy zwiększania niezawodności systemów połączeniowych)». Місце захисту: Ченстоховський технічний університет, Ченстохова, Польща.
2010 р. — Мазурек Мірослав «Методи пщкращення якості комунікації в розподілених системах і високопропускних комп'ютерних мережах (Metody poprawy jakości komunikacji w systemach rozproszonych i wysokoprzepustowych sieciach komputerowych)». Місце захисту: Ченстоховський технічний університет, Ченстохова, Польща.
2013 р. — Нич Маріуш «Вирівнювання навантажень на соти безпроводової мережі на основі багатокласового переміщення руху (Wyrównywanie obciążeń komórek sieci bez przewodowej na bazie wieloklasowego przemieszczania ruchu)». Місце захисту: Ченстоховський технічний університет, Ченстохова, Польща.
2014 р. — Максимець О.М. «Алгебро-автоматні методи аналізу процедурних програм і реактивних систем». Місце захисту: факультет кібернетики Київського національного університету імені Тараса Шевченка, Київ, Україна.
2018 р. — Сидорова Н.М. «Метод керованого онтологією застосування стилів програмування». Місце захисту: факультет комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка, Київ, Україна.

Патенти:

Палагін О.В., Петренко М.Г., Величко В.Ю., Кривий С.Л., Опанасенко В.М., Софіюк О.Т., Митрофанова Г.Є., Мушка В.М. Пристрій для морфологічного аналізу природномовних текстів // ПАТЕНТ №72914 на корисну модель – зареєстровано в Державному реєстрі патентів України на винаходи 27.08.2012.
Палагін О.В., Петренко М.Г., Величко В.Ю., Кривий С.Л., Опанасенко В.М., Софіюк О.Т., Митрофанова Г.Є., Мушка В.М. Пристрій для морфологічного аналізу природномовних текстів // ПАТЕНТ №104225 на винахід – зареєстровано в Державному реєстрі патентів України на винаходи 10.01.2014.

Академічні нагороди і премії:

Державна премія України в галузі науки і техніки (2018).

Вибрані публікації:

Основи дискретної математики (підручник) Київ, LITSOFT, 2000, т. 1, 380 стор. (перше видання) (у співавторстві).
Основи дискретної математики (підручник) Київ, LITSOFT, 2000, т. 2, 380 стор. (перше видання) (у співавторстві).
Основи дискретної математики (підручник) Київ, Наукова думка, 2002, 578 стор. (друге видання) (у співавторстві).
Лекции по дискретной математике (навч. посібник російською мовою) Санкт-Петербург, 2004, 614 стор.(у співавторстві).
Курс дискретної математики (навч. посібник) Вид. націон. Авіац. Університету, 2007, 430 стор.
Дискретна математика вибрані питання (навч. посібник) Київ, Видавничий дім "Києво-Могилянської академії",2007, 570 стор.
Збірник задач з дискретної математики (навч. посібник) Київ, Бізнесполіграф, 2008, 360 стор. (у співавторстві).
Вступ до некласичної математичної логіки (навч. посібник) Київ, Вид. Київського нац. Університету імені Тараса Шевченка, 2010, 205 стор.(у співавторстві).
Wybrane zagadnienia informatyki teoretycznej (підручник польською мовою), Вид. Ченстоховської політехніки, 2010, 406 стор. (у співавторстві).
Algorithm of translation of MSC-specified System into Petri Net, Fundamenta Informatica, IOS Press, 2007.- v. 79. – N 3-4 (September).- P.431-435
Алгоритм построения базиса множеств решений системы линейных диофантовых уравнений в кольце целых чисел, ж. «Кибернетика и системный анализ». – 2009. – N 6. – C. 36-41;
Presentation of ontologies and operations on ontologies in finite-state machines theory. Intern. Journ. "Information Theories and Applications". 2009. – v.16 – №4. – P. 349-355.
Алгоритмы построения предбазиса множества решений систем линейных диофантовых ограничений в дискретных областях. Известия Иркутского гос. ун- тета. серия «Математика». – том 2. – N 2.- 2009. – C.82-93.
Теория автоматов в информационных технологіях. ж. Кибернетика и системный анализ. – 2011. – № 5. – С. 3-20.
Сергієнко І.В., Кривий С.Л., Провотар О.І. Алгебраїчні аспекти інформаційних технологій (монографія). Київ: Наукова думка. – 2011. – 400 с.
Кривий С.Л. Вступ до методів створення програмних продуктів (навчальний посібник). Чернівці-Київ: "Букрек". – 2012. – 424 с.
Кривий С.Л. Збірник задач з дискретної математики. - Чернівці: Букрек - 2018. - 456 с.

Викладацька діяльність:

Математичні основи захисту інформації (лекції, лабораторні заняття) — бакалаври 4-го року навчання, 121 Інженерія програмного забезпечення: програмна інженерія.
Теоретичні основи та методи розробки інформаційних систем (лекції, лабораторні заняття) — магістри 1-го року навчання, 121 Інженерія програмного забезпечення: програмне забезпечення систем.
Алгебро-автоматні методи проектування програмного забезпечення (лекції, лабораторні заняття) — магістри 1-го року навчання, 121 Інженерія програмного забезпечення: програмне забезпечення систем.
Програмно-орієнтовані логіки (лекції) — магістри 1-го року навчання, 121 Інженерія програмного забезпечення: програмне забезпечення систем.

Теми курсових та дипломних робіт (2020-2021 н. р.):

Розробка системи добування знань з природомовного тексту (семантичний аналіз текстів) (для бакалаврів та магістрів) з використанням дескриптивних логік.
Реалізація автоматних методів перевірки виконуваності формул арифметики Пресбургера для натуральних та цілих чисел (для бакалаврів).
Реалізація алгоритмів синтезу та аналізу автоматів Бюхі (для магістрів).
Реалізація алгоритмів синтезу та аналізу автоматів Мюлера (для магістрів).
Реалізація алгоритму мінімізації детермінованих автоматів Мюлера (для магістрів).
Дослідження властивостей моделі екосистеми методами теорії автоматів та мереж Петрі (для магістрів).
Розробка алгоритмів побудови синхронного та асинхронного добутків транзиційних мереж з інтерлівінговою семантикою та його конвертація в мережі Петрі (для магістрів).
Розробка алгоритмів трансляції ЛТЛ-формул в автомати Бюхі та Мюлера.
Реалізація алгоритму Сафра детермінізації автоматів Мюдера (для магістрів).
Реалізація алгоритмів детермінізації, мінімізації автоматів над деревами.
Реалізація алгоритмів побудови синхронних та асинхроннихї добутків автоматів (Мілі, Бюхі, автоматів над деревами).
Реалізація чисельних методів розв'язання систем лінійних нерівностей в полі дійсних чисел.