1. Model-Based Software Design
(Download PDF)
Research objective — development of reliable error-free software by constructing formalized models based on the description of program logic and behavior. These models are formed as nondeterministic finite automata, which are then transformed into programs using target programming languages. Describing the program model with predicates generates an automaton model that can be represented as a specialized database.
Team members:
Hryhorii Zaspa, PhD in Engineering, Associate Professor
PhD thesis: “Concentric Information Technology for the Digital Transformation of Higher Education Activities”
Doctoral thesis topic: “Intelligent Monitoring of Software Design Quality”
Valerii Bilyk, PhD student
Research topic: “Method for Assessing Software Code Quality”
Supervisor: Assoc. Prof. H. Zaspa
2. Intelligent Monitoring by Software Agents. Agent Functionals of Monitoring Software Systems
The research area focuses on the development of intelligent monitoring technologies — providing information support for decision-making through continuous observation, data processing, and knowledge extraction (Data Mining). Models are built using Machine Learning and implemented via an agent-based method using virtual robots to ensure a resilient information response in crisis conditions or with limited data.
Team members:
Vadym Nemchenko, PhD in Engineering, Associate Professor
PhD thesis: “Information Technology of Multilevel Data Processing in Mobile Robot Motion Control”
Vadym Oleksiuk, PhD in Engineering, Associate Professor
PhD thesis: “Mathematical and Software Tools for Studying the Noise Immunity of Digital Modems with Noise Signals”
Supervisor: Prof. S. Pervuninskyi
Svitlana Kunytska, PhD in Engineering, Associate Professor
PhD thesis: “Method and Tools for Synthesizing High-Speed Arithmetic Devices Based on Positional Number Systems”
Supervisor: Prof. V. Rudnytskyi
Volodymyr Ostapiuk, PhD student
Research topic: “Monitoring Software Agent of a Virtual Robot”
Supervisor: Prof. S. Holub
Anatolii Bilonih, PhD student
Research topic: “Intelligent Monitoring Software Agent Based on a Model Knowledge Base”
Supervisor: Prof. S. Holub
Ruslan Nemov, PhD student
Research topic: “Agent-Based Programming for Intelligent Text Analysis”
Supervisor: Prof. S. Holub
Vadym Horban, PhD student
Research topic: “Software Agent of a Mobile Robot”
Supervisor: Assoc. Prof. V. Nemchenko
Serhii Levchenko, PhD student
Research topic: “Software-Based Trajectory Formation for a Mobile Robot”
Supervisor: Assoc. Prof. V. Nemchenko
Oleksii Shebalin, PhD student
Research topic: “Monitoring Software Agent for Corporate Network Protection”
Supervisor: Assoc. Prof. V. Oleksiuk
3. Domain Modeling for Agent-Based Programming. Defining Behavior Rules for Research Software Agents
The research focuses on building agent-oriented domain models and creating adaptive behavior rules for software agents operating in complex intelligent systems.
Team members:
Volodymyr Metelap, PhD in Engineering, Associate Professor
PhD thesis: “Correlation-Time Methods and Tools for Forming and Processing Noise Signals in Computer Networks”
Supervisor: Prof. S. Pervuninskyi
Oleksandr Piven, PhD in Engineering, Associate Professor
PhD thesis: “Influence of Laser Photographic Reversal on Silver Crystallization in a Photolayer”
Supervisor: Prof. Yu. Lopatkin
Nikita Kilikhevych, PhD student
Research topic: “Intelligent Agent-Based System for Demodulation of Messages with Noise Signals”
Supervisor: Prof. S. Pervuninskyi
Artem Myhovych, PhD student
Research topic: “Software Agents for Protecting Corporate Networks with Digital Modems Using Noise Signals”
Supervisor: Prof. S. Pervuninskyi