Програмно-орієнтовані логічні формалізми, числення секвенційного типу,
математична логіка
Закінчив з відзнакою факультет кібернетики Київського університету в 1973 році.
Працює в КНУ з 1973 року на посадах інженера, старшого наукового співробітника,
асистента, доцента, професора. У 1979 році під керівництвом проф. В.Н. Редька захистив
кандидатську дисертацію на тему “Дослідження синтаксичної структури мов
програмування”. Наукове звання доцента отримав у 1987 році. У 2010 році захистив
докторську дисертацію на тему “Спектр логік часткових предикатів, орієнтованих на
композиційнo-номінативні моделі програм” за спеціальністю 01.05.01 – теоретичні основи
інформатики та кібернетики. Із 2013 року посідає посаду професора кафедри ТТП,
наукове звання професора отримав у 2014 році. Гарант освітньо-наукової програми
«Інформатика» другого (магістерського) рівня вищої освіти за спеціальністю F3
«Комп’ютерні науки».
Автор понад 200 наукових та навчально-методичних робіт. Займався вивченням
синтаксичної структури мов програмування, дослідженням програмних алгебр та логік. У
співпраці з проф. М.С. Нікітченком на базі спільного для логіки й програмування
композиційно-номінативного підходу ним побудовано широкий спектр програмно-
орієнтованих логічних формалізмів, що знаходяться на різних рівнях абстрактності й
загальності. Досліджує логіки однозначних та неоднозначних квазіарних предикатів,
загальних недетермінованих предикатів, модальні логіки часткових предикатів. Для них
запропоновано низку формалізацій відношення логічного наслідку, побудовано відповідні
числення секвенційного типу.
Біографія
Закінчив з відзнакою факультет кібернетики Київського університету в 1973 році. Працює в університеті з 1973 року. У 1979 році під керівництвом В.Н. Редька захистив кандидатську дисертацію на тему “Дослідження синтаксичної структури мов програмування”. Посідає посаду доцента кафедри з 1983 року, наукове звання доцента отримав у 1987 році. У 2010 році захистив докторську дисертацію на тему “Спектр логік часткових предикатів, орієнтованих на композиційнo-номінативні моделі програм” за спеціальністю 01.05.01 – теоретичні основи інформатики та кібернетики.
Займався дослідженнями синтаксичної структури мов програмування, вивченням програмних алгебр та логік. У співпраці з проф. М.С. Нікітченком на базі спільного для логіки й програмування композиційно-номінативного підходу ним побудовано широкий спектр програмно-орієнтованих логічних формалізмів, що знаходяться на різних рівнях абстрактності й загальності. Описано мови та досліджено семантичні властивості композиційно-номінативних логік відповідного рівня. Виділено та досліджено неокласичні логіки, які близькі до класичної логіки предикатів і зберігають основні її закони, водночас ці логіки мають більші виразні можливості та істотно ширші класи семантичних моделей. Для композиційно-номінативних логік різних рівнів побудовано і досліджено формально-аксіоматичні системи гільбертівського та секвенційного типу, доведено їх коректність і повноту. Досліджено композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Для них запропоновано різні семантики та різні формалізації відношення логічного наслідку, побудовано числення секвенційного типу. Низка отриманих результатів є узагальненнями відомих тверджень класичної логіки. Результати досліджень застосовуються при розробці інформаційних та програмних систем, зокрема, систем специфікації та верифікації програм.
Академічні нагороди та премії
Лауреат Державної премії України в галузі освіти 2018 року
Лауреат премії імені Тараса Шевченка КНУ імені Тараса Шевченка 2010 року
Подяка Київського Міського Голови (2004)
Подяка Міністерства освіти і науки України (2020)
Грамотa КНУ імені Тараса Шевченка (2023)
1. М.С. Нікітченко, С.С. Шкільняк. Математична логіка та теорія алгоритмів.
Підручник. – K.: ВПЦ Київський університет, 2008. – 528 с.
2. М.С. Нікітченко, O.С. Шкільняк, С.С. Шкільняк. Чисті першопорядкові логіки
квазіарних предикатів // Проблеми програмування, 2016, № 2–3. – C. 73–86.
3. М.С. Нікітченко, O.С. Шкільняк, С.С. Шкільняк. Логіки загальних недетермінованих
предикатів: семантичні аспекти // Проблеми програмування, 2018, № 2–3. – C. 31–45.
4. С.С. Шкільняк. Першопорядковi композиційно-номінативні логіки з предикатами
слабкої та строгої рівності // Проблеми програмування, 2019, № 3. – C. 28–44.
5. M. Nikitchenko, O. Shkilniak, S. Shkilniak. Sequent Calculi of First-order Logics of Partial
Predicates with Extended Renominations and Composition of Predicate Complement //
Proceedings of the UkrPROG 2020. Kyiv, Ukraine, September 15-16, 2020. CEUR Workshop
Proceedings (CEUR-WS.org), 2020, pp. 182–197.
6. С.С. Шкільняк Математична логіка. Приклади й задачі. Навчальний посібник. – K.:
ВПЦ Київський університет, 2022. – 304 c.
7. С.С. Шкільняк Теорія алгоритмів. Приклади та задачі. Навчальний посібник. – K.:
ВПЦ Київський університет, 2023. – 191 c.
8. O.S Shkilniak, S.S. Shkilniak Transitional Modal Logics of Quasiary Predicates with
Equality and Sequent Calculi for these Logics // Proceedings of the UkrPROGР2024. Kyiv,
Ukraine, May 14–15, 2024. CEUR Workshop Proceedings (CEUR-WS.org), 2024, pp. 30–49.
9. S. Shkilniak. Varieties of pure first-order logics of partial quasiary predicates // Bulletin of
Taras Shevchenko National University of Kyiv. Physical and Mathematical Sciences, Vol.79,
No2 (2024), pp. 80–88.