Science

SCIENCE

The teachers, postgraduate students and students of last bachelor and master years conduct research in the most topical and key areas of nowadays IT development.

The scientific seminar for postgraduate and master students on Theory of Discrete Event Systems is held at the department. Its supervisor is professor Grygoriy Zholtkevych.

Areas of scientific research:

1. Formal Methods for the Specification and Analysis of Complex Systems Including Big Programming and Cyber-Physical Systems, covering

Methods of Categories Theory in Programming.
Theory of Distributed Programming and Cyber-Physical Systems.
Modelling of Network Interactions.
Theory of Discrete Event Systems.
Equations in Free Commutative Monoids.
Modelling of Software Defined Networks and Distributed Systems by Artificial Intelligence Methods.
Analysis of Computer Networks Growth.

2. Design of Information and Programming Systems, including

Object-oriented Design and Patterns. Verification of Design Consistency and Integrity.
Methods and Tools of Usability Evaluation for Professional Applications Interfaces.
Theory and Practice of Relational and NoSQL Databases.

3. Data Analysis Problems, including

Image Recognition and Processing.
Natural Language Processing.
Methods of Computer Vision.

4. Methods of “Soft Computing”, including

Using Parallel Computing in Genetic Algorithms.
Using Neural Networks for Automation of Design Works in Mechanical Engineering.
Optimization of Engineering Constructions and of Engineering Service-oriented Systems.
Identification of Critical States in Discrete Biological Systems.
Methods of Machine Learning in Medicine.
Intellectual Information Systems of Medical Diagnostics Based on Machine Learning Methods.
Discrete-Event Multi-Agent Models of Epidemic Processes (COVID-19 in particular).
Methods of Machine Learning in Modeling and Forecasting of Market Behaviour.

Report abuse