Сенченко Олексій Сергійович

2018 р. – до теперішнього часу – Старший науковий співробітник відділу теорії керуючих систем Інституту прикладної математики і механіки НАН України (м. Слов’янськ, Україна)

2016 – 2017 рр. – Доцент кафедри прикладних інформаційних систем Київського національного університету імені Тараса Шевченка (м. Київ, Україна)

2013 – 2016 рр. – Докторант факультету кібернетики Київського національного університету імені Тараса Шевченка (спеціальність 01.05.03 – математичне та програмне забезпечення обчислювальних машин і систем, тема роботи “Теорія узагальнених табличних алгебр та її застосування у базах даних”), м. Київ, Україна

2007 – 2013 рр. – Доцент кафедри алгебри Слов’янського державного педагогічного університету (м. Слов’янськ, Україна)

2006 р. – Диплом кандидат фізико-математичних наук зі спеціальності 01.05.01 – теоретичні основи інформатики та кібернетики

2005 – 2007 рр. – Старший викладач кафедри алгебри Слов’янського державного педагогічного університету (м. Слов’янськ, Україна)

2003 – 2005 рр. – Асистент кафедри алгебри Слов’янського державного педагогічного університету (м. Слов’янськ, Україна)

2000 – 2003 рр. – Аспірант Слов’янського державного педагогічного інституту (м. Слов’янськ, Україна)

1999 – 2000 рр. – Вчитель математики та інформатики у Билбасівській ЗОШ (м. Слов’янськ, Україна)

1999 р. – Диплом спеціаліста з відзнакою, Слов’янський державний педагогічний інститут, спеціальність “Педагогіка і методика середньої освіти. Математика та основи інформатики”

• Систематизовано взаємозв’язки між всіма теоретико-множинними та унарними сигнатурними операціями табличних алгебр: перетином, об’єднанням, різницею, проекцією, селекцією, перейменуванням, активним доповненням та насиченням таблиць. Зокрема, знайдено необхідні та достатні умови, за яких у табличних алгебрах: різниця є дистрибутивною відносно насичення; виконується переставність проекції та активного доповнення; насичення є дистрибутивним відносно з’єднання. Результати можуть бути застосовані для перетворення виразів у табличних алгебрах з метою їх спрощення, а також для оптимізації запитів у реляційних базах даних.

• Уточнено та систематизовано лінгвістичне представлення детермінованих та сильно-детермінованих графів визначальною парою слів у алфавіті їх позначок. Зокрема, модифіковано алгоритм АП, який за довільною парою множин або будує граф, для якого ця пара є визначальною, або сповіщає, що це зробити неможливо; уточнено процедуру детермінізації графа; знайдено чисельні оцінки потужності та об’єму канонічної визначальної пари для детермінованих графів із відомою кількістю вершин та ребер; розроблено поняття «коректна пара», для таких пар розроблено алгоритм компресії, який перетворює задану коректну пару в канонічну визначальну пару для графа, який задає вихідна пара; розроблено програмну реалізацію цього алгоритму, проведено її валідацію та верифікацію. Результати дозволять використовувати нові методи та алгоритми для розв’язання задач аналізу графів з поміченими вершинами, зокрема стати основою для розв’язання інших прикладних задач, пов’язаних з детермінованими графами.

• Досліджено стохастичні методи моделювання топологічного операційного середовища автономного мобільного агента. Класичний алгоритм розфарбування графа DSATUR модифіковано для побудови Д- та СД- розфарбування. Стохастичні методи, засновані на генетичних алгоритмах, імітації відпалу, оптимізації мурашиних колоній застосовано для побудови Д- та СД- розфарбування. Розроблено програмну реалізацію наведених вище алгоритмів та зроблено порівняльний аналіз якості Д- та СД-  розфарбування на конкретних прикладах графів. Результати можуть бути застосовані для використання стохастичних методів при моделюванні топологічного операційного середовища автономного мобільного агента.

22 жовтня 2025 р. – Подяка Президії НАН України з нагоди Всесвітнього дня науки в ім’я миру та розвитку за вагомі здобутки з наукових, науково-технічних й інноваційних досліджень, залучення молоді до наукової діяльності і популяризації науки, активне сприяння національній та міжнародній співпраці заради спільного використання наукових досягнень й наближення перемоги і миру в Україні

Відповідальний виконавець науково-дослідних робіт:

01.01.2022 – 31.12.2024 – НДР НАН України, за відомчою тематикою: “Розробка математичних моделей та методів аналізу, синтезу та керування дискретними і неперервними динамічними системами”, (р/н 0122U000118)

01.01.2020 – 31.12.2021 – НДР НАН України, за відомчою тематикою: “Розробка теоретичних основ та прикладних методів аналізу та синтезу сучасних інформаційних та керуючих систем”, (р/н 0117U002164)

01.01.2020 – 31.12.2024  – НДР НАН України, за відомчою тематикою: “Розробка та дослідження стохастичних моделей динамічних систем”, (р/н 0119U102317)

Виконавець науково-дослідних робіт:

01.01.2023 – 31.12.2023 – Грант EFDS-FL2-08 Європейської федерації академій наук та гуманітарних наук (ALLEA)

01.06.2023 – 31.05.2024 – Грант Simons Foundation: “Сучасні задачі фундаментальної та прикладної математики”, (№ 1160640)

01.08.2024 – 31.07.2025 – Грант Simons Foundation: “Сучасні задачі фундаментальної та прикладної математики” (PD-Ukraine-00010584)

Публікації за останні 5 років:

О.С. Сенченко, М.I. Притула 
Властивості компресії пари, що є визначальною для детермінованого графа. Праці Інституту прикладної математики і механіки НАН України. – 2025. – Т. 39(1). – С. 33-52. DOI:10.37069/1683-4720-2025-39-4

Ю.М. Кононов, С.В. Сапунов, В.В. Слєсарєв, О.С. Сенченко 
Стохастичні методи моделювання топологічного операційного середовища автономного мобільного агента // Праці Інституту прикладної математики і механіки НАН України. – 2024. – Т. 38, № 2. – С. 79 – 95. DOI: 10.37069/1683-4720-2024-38-8

O.S. Senchenko, M.I. Prytula
The presentation of deterministic and strongly deterministic graphs // Algebra and Discrete Mathematics. – 2023. – V. 36, Is. 2. – P. 225 – 242. DOI: 10.12958/adm2157

О.С. Сенченко, М.І. Притула, О.А. Середа 
Представлення детермінованих графів визначальною парою слів // Праці Інституту прикладної математики і механіки НАН України. – 2022. – Т. 36, № 2. – С. 101–112. DOI: 10.37069/1683-4720-2022-36-09

О.С. Сенченко 
Взаємозв’язки різниці та проекції з іншими сигнатурними операціями табличних алгебр // Праці Інституту прикладної математики і механіки НАН України. – 2021. – Т. 34. – С. 134–145. DOI: 10.37069/1683-4720-2021-35-12

С.В. Сапунов, О.С. Сенченко, О.А. Середа 
Метричнi властивості канонiчної визначальної пари для детермiнованих графів // Праці Інституту прикладної математики і механіки НАН України. – 2020. – Т. 34. – С. 134–145. DOI: 10.37069/1683-4720-2020-34-13

Н.Д. Кахута, О.С. Сенченко 
Використання повного образу та обмеження в дослідженні властивостей деяких сигнатурних операцій табличних алгебр // Працi Інституту прикладної математики і механіки НАН України. – 2019. – Т. 33. – С. 112–121. DOI: 10.37069/1683-4720-2019-33-9

С.В. Сапунов, О.С. Сенченко 
Лінгвістичне зображення графів з поміченими вершинами // Доповіді НАН України. – 2019. – №. 11. – С. 17–24. DOI: 10.15407/dopovidi2019.11.017

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

2021 – 2023 рр. – викладач в аспірантурі Інституту прикладної математики і механіки  НАН України

Розробка науково-освітніх чи навчальних програм:

НП та РНП “Сучасні прикладні методи інтелектуального аналізу даних та знань”, Інституту прикладної математики і механіки НАН України, (аспірантура)

РНП «Прикладні методи інтелектуального аналізу даних та знань», Інституту прикладної математики і механіки НАН України, (аспірантура)

НП та РНП «Сучасні алгоритми та математичні методи захисту інформації», Інституту прикладної математики і механіки НАН України, (аспірантура)

НП та РНП «Сучасні технології створення програмних продуктів. Компонентне програмування», Інституту прикладної математики і механіки НАН України, (аспірантура)

РНП «Технології створення програмних продуктів. Компонентне програмування», Інституту прикладної математики і механіки НАН України, (аспірантура)

Керівництво аспірантами:

• О.А. Середа 
• М.І. Притула 

Член програмного комітету та секретар оргкомітету науково-практичної конференції «Актуальні проблеми теорії керуючих систем у комп’ютерних науках АПТКС’2021» (21-24.12.2021 р., ІППМ НАН України, м. Слов’янськ).