Курсові та дипломні роботи

Нікітченко М.С.

• Аспектне програмування: принципи та методи.
• Структури даних мов програмування та їх формалізація.
• Методи та мови специфікації предметних областей.
• Верифікація програмних систем.
• Формалізація семантики мови UML.
• Логічне програмування та його застосування.
• Темпоральні логіки та їх застосування.
• Парадигми програмування та їх уточнення.
• Розробка електронного посібника з „Теорії програмування”.
• Розробка електронного посібника з „Математичної логіки”.

Шкільняк С.С.

• Лінійні та розгалужені темпоральні логіки.
• Розробка тестів та графічного матеріалу для електронного підручника з курсу “Теорія алгоритмів”.
• Розробка тестів та графічного матеріалу для електронного підручника з курсу “Математична логіка”.

Зубенко В.В.

• Обчислюваність в довільних областях.
• Темпоральні алгоритми в топологічних просторах.
• Періодичні темпоральні алгоритми.
• Розробка Е-підручника з курсу “Програмування”.
• Пропозиційне секвенційне числення і класична теорема повноти.

Кузенко В.Ф.

• Використання Rational Unified Process (RUP) при розробці web-проектів.
• Розподілені програмні системи із використанням NET Remoting.
• Технологія Windows Communication Foundation (WCF). Підтримка NET Remoting та Web-сервісів.
• Spring Boot та його використання у Web-проектах.
• Web-проекти із використанням Spring Web.
• Клієнтська та серверна валідація із використанням Web-фреймворків.
• Аналіз та порівняння Java Web-фреймворків.
• Web-фреймворк GWT та підтримка Ajax.
• Використання JQuery у Web-проектах.
• Розробка мобільних проектів (Android).
• REST API та його використання. GraphQL API та його використання.

Волохов В.М.

• Створення БД у середовищі SQL.
• Засоби індивідуального створення запитів в СУБД.
• Безпека інформації. Захист даних.

Панченко Т.В.

• Розробка Business Intelligence систем.
• Проектування та розробка Data Warehouses і OLAP-систем.
• Побудова звітних систем на базі Microsoft SQL Server Reporting Services.
• Аналіз даних методами Data Mining.
• Алгоритми Data Mining у Microsoft SQL Server Analysis Services та їх застосування.
• Багатовимірне подання даних: ефективність та засади OLAP.
• Агрегація даних: проблеми та методи подолання (на прикладі MS SSAS).
• Ієрархії на вісях OLAP-кубів: реалізація та застосування зв’язку багато-до-багатьох (many-to-many).
• Реалізація багатьох динамічних (multiple parent-child) ієрархій на одній вісі OLAP-кубу.
• Оптимізація швидкодії баз даних.
• Розробка Web-систем в архітектурі SOA.
• Управління віддаленими розподіленими ресурсами.
• Internet Data Mining.
• Автоматизація бізнес-процесів за допомогою Windows Workflow Foundation.
• Розробка ефективних паралельних алгоритмів.
• Розпаралелення задач.
• Розробка інтерпретатора та компілятора IPCL.
• Розробка IPCL Model Checker.
• Розробка IPCL Theorem Prover.
• Композиційно-номінативні методи та IPCL: розширення на паралелізм.
• Розробка системи автоматизованої перевірки программ.
• Розробка Web-орієнтованої системи підтримки навчального процессу. Аналіз та розробка алгоритмів порівняння вихідних кодів программ.

Омельчук Л.Л.

• Розробка ПЗ із застосуванням технології .ADO.NET Entity Framework.
• Розробка ПЗ із застосуванням технології ASP.NET MVC. 
• Застосування UML для розробки ПЗ.
• Електронний журнал із застосуванням технологій ADO.NET Entity Framework, ASP.NET MVC.
• Робоче місце старости по заповненню відвідувань студентів групи (мобільне застосування з аутентифікацією через NEC карточку.
• Онтології та їх використання в програмній інженерії.
• Реалізація маячка (tracking зa GPS).

Русіна Н.Г.

• Архітектура національної освітньої мережі URAN.
• Впровадження Grid – технологій і створення кластерів на Україні.
• Застосування ITEM RESPONSE THEORY  (IRT) в тестуванні.

Криволап А.В.

• Формалізація складних структур даних за допомогою апарату Separation logic
• Використання Dynamic logic для верифікації програмних систем.
• Дослідження розширень Dynamic logic
• Використання системи Isabelle для формалізації складних номінативних даних

Нікітченко М.С.

• Методи верифікації вимог.
• Формалізація напівструктурованих даних.
• Дескриптивні логіки та онтології предметних областей.
• Реалізація композиційно-номінативної рекурсивної мови програмування RECON.
• Моделювання транспортних областей.
• Інтерактивні мови та їх формалізація. Розробка електронного посібника з „Теорії алгоритмів”.

Дорошенко А.Ю.

• Алгебро-алгоритмічні засоби автоматизації проектування паралельних програм.
• Застосування паралельних обчислень для ефективного розв’язування задач метеорологічного прогнозування.
• Засоби автоматизації самоналаштування паралельних програм на цільову платформу

Шкільняк С.С.

• Сематичні властивості логік квазіарних предикатів.
• Темпоральні логіки та їх застосування.
• Епістемічні логіки та їх застосування.
• Розробка електронного підручника з курсу “Теорія алгоритмів”.
• Розробка електронного підручника з курсу “Прикладна логіка”.

Кузенко В.Ф.

• Використання Rational Unified Process (RUP) при розробці web-проектів.
• Розподілені програмні системи із використанням NET Remoting.
• Технологія Windows Communication Foundation (WCF). Підтримка NET Remoting та Web-сервісів.
• Spring Boot та його використання у Web-проектах.
• Web-проекти із використанням Spring Web.
• Клієнтська та серверна валідація із використанням Web-фреймворків.
• Аналіз та порівняння Java Web-фреймворків.
• Web-фреймворк GWT та підтримка Ajax.
• Використання JQuery у Web-проектах.
• Розробка мобільних проектів (Android).
• REST API та його використання.
• GraphQL API та його використання.

Волохов В.М.

• Мережні технології. Протоколи локальних мереж та мережні ОС.
• Технології “клієнт-сервер” на прикладі програмних продуктів.

Панченко Т.В.

• Розробка Business Intelligence систем.
• Проектування та розробка Data Warehouses і OLAP-систем.
• Побудова звітних систем на базі Microsoft SQL Server Reporting Services.
• Аналіз даних методами Data Mining.
• Алгоритми Data Mining у Microsoft SQL Server Analysis Services та їх застосування.
• Багатовимірне подання даних: ефективність та засади OLAP.
• Агрегація даних: проблеми та методи подолання (на прикладі MS SSAS).
• Ієрархії на вісях OLAP-кубів: реалізація та застосування зв’язку багато-до-багатьох (many-to-many).
• Реалізація багатьох динамічних (multiple parent-child) ієрархій на одній вісі OLAP-кубу.
• Оптимізація швидкодії баз даних.
• Розробка Web-систем в архітектурі SOA.
• Автоматизація бізнес-процесів за допомогою Windows Workflow Foundation.
• Розробка ефективних паралельних алгоритмів.
• Розпаралелення задач.
• Розробка інтерпретатора та компілятора IPCL.
• Розробка IPCL Model Checker.
• Розробка IPCL Theorem Prover.
• Композиційно-номінативні методи та IPCL: розширення на паралелізм.
• Розробка системи автоматизованої перевірки программ.
• Розробка Web-орієнтованої системи підтримки навчального процессу. Аналіз та розробка алгоритмів порівняння вихідних кодів программ.

Омельчук Л.Л.

• Розробка ПЗ із застосуванням технології .ADO.NET Entity Framework.
• Розробка ПЗ із застосуванням технології ASP.NET MVC. 
• Застосування UML для розробки ПЗ.
• Електронний журнал із застосуванням технологій ADO.NET Entity Framework, ASP.NET MVC.
• Робоче місце старости по заповненню відвідувань студентів групи (мобільне застосування з аутентифікацією через NEC карточку. Онтології та їх використання в програмній

Зубенко В.В.

• Обчислюваність в довільних областях.
• Темпоральні алгоритми в топологічних просторах.
• Періодичні темпоральні алгоритми.
• Розробка Е-підручника з курсу “Програмування ”. Алгоритми з нескінченними обчисленнями.

Криволап А.В.

• Формалізація складних структур даних за допомогою апарату Separation logic
• Використання Dynamic logic для верифікації програмних систем.
• Дослідження розширень Dynamic logic
• Використання системи Isabelle для формалізації складних номінативних даних

Нікітченко М.С.

• Методи верифікації реактивних систем.
• Верифікація програмних систем методом перевірки моделей.
• Методи трансляції мов програмування та побудова транслятора з мови RECON.
• Розробка та реалізація мов запитів композиційних баз даних.
• Автоматизація доведень теорем темпоральних логік
• Дедуктивні методи верифікації програмних систем. Розробка системи натурального виводу для композиційно-номінативних логік.

Шкільняк С.С.

• Немонотонні логіки.
• Застосування темпоральних логік в програмуванні.

Дорошенко А.Ю.

• Алгебро-алгоритмічні засоби автоматизації проектування паралельних програм.
• Застосування паралельних обчислень для ефективного розв’язування задач метеорологічного прогнозування.
• Засоби автоматизації самоналаштування паралельних програм на цільову платформу

Кузенко В.Ф.

• Використання Rational Unified Process (RUP) при розробці web-проектів.
• Розподілені програмні системи із використанням NET Remoting.
• Технологія Windows Communication Foundation (WCF). Підтримка NET Remoting та Web-сервісів.
• Spring Boot та його використання у Web-проектах.
• Web-проекти із використанням Spring Web.
• Клієнтська та серверна валідація із використанням Web-фреймворків.
• Аналіз та порівняння Java Web-фреймворків.
• Web-фреймворк GWT та підтримка Ajax.
• Використання JQuery у Web-проектах.
• Розробка мобільних проектів (Android).
• REST API та його використання. GraphQL API та його використання.

Зубенко В.В.

• Обчислюваність в довільних областях.
• Темпоральні алгоритми в топологічних просторах.
• Періодичні темпоральні алгоритми.
• Розробка Е-підручника з курсу “Програмування ”. Алгоритми з нескінченними обчисленнями.

Волохов В.М.

• Технології СУБД на комп’ютерних мережах.
• Мережні технології. Протоколи локальних мереж та мережні ОС.
• Технології “клієнт-сервер” на прикладі програмних продуктів.

Панченко Т.В.

• Проектування та розробка комплексних Business Intelligence систем.
• Аналіз даних методами Data Mining.
• Багатовимірне подання даних: ефективність та засади OLAP, проблеми агрегації даних та методи подолання (на прикладі MS SSAS).
• Ієрархії на вісях OLAP-кубів: реалізація та застосування зв’язку багато-до-багатьох (many-to-many).
• Реалізація багатьох динамічних (multiple parent-child) ієрархій на одній вісі OLAP-кубу.
• Комплексна оптимізація швидкодії баз даних.
• Розробка Web-систем в архітектурі SOA.
• Автоматизація бізнес-процесів за допомогою Windows Workflow Foundation.
• Розпаралелення задач та розробка ефективних паралельних алгоритмів.
• Розробка інтерпретатора та компілятора IPCL.
• Розробка IPCL Model Checker.
• Розробка IPCL Theorem Prover.
• Композиційно-номінативні методи та IPCL: розширення на паралелізм.
• Розробка системи автоматизованої перевірки программ.
• Аналіз та розробка алгоритмів порівняння вихідних кодів программ.

Нікітченко М.С.

• Програмні логіки та їх реалізація.
• Формальні методи розробки програм.
• Системи доведень властивостей програм.
• Алгебра номінативних даних.
• Алгебри композицій та їх властивості: повнота та коректність.

Шкільняк С.С.

• Пошук виведень в логіках квазіарних предикатів.
• Пошук виведень в модальних логіках часткових предикатів.
• Дослідження композиційно-номінативних логік з нетрадиційною семантикою.
• Дослідження програмно-орієнтованих логічних формалізмі.