The research areas include but are not limited to: 

1) Methods for development of distributed and embedded systems

Methods of exact functionality specification of distributed systems using existing or newly developed abstract models. Research into and development of distributed systems architectures with emphasis on the utilization of reusable HW and SW components. Methods and languages for the formal description of component interface and functionality, and architectural specifications (connection and communication of components).

Distributed and parallel simulation, active networks, GRID and mobile computing.

Abstract models of distributed systems architecture aimed at the evaluation of safety and reliability parameters. Construction of complex distributed systems, models that support decomposition into independent parts.

Development and comparison of different methods of component design verification based on formal specifications of component properties. Theoretical aspects of verification, combination of various verification methods, and investigation of a simulation model “distance” from the real system.

Analysis of component models, their utility for complex software systems design. Properties of components, knowledge acquisition verification from existing implementations, property correspondence verification for component relations and substitutions. Models and tools for visualization of complex software systems.

2) Intelligent methods for data processing

Development of special methods of biomedical and/or biometric signal processing. Development of models and methods for knowledge representation including models learning directly from the already analyzed biometric and biomedical signals. Knowledge extraction from signal waveforms analyzed and saved in neuroinformatic and biometric databases.

Development of new models and methods for knowledge representation and acquisition, including derivation of models from data and multilingual ontology infrastructure for the semantic Web. Utilization of approaches from natural language understanding, artificial intelligence, mathematics, databases and agent technologies.

Theoretical investigation of the concept of disinformation and its detailed analysis. Creation of models for passive problems – identification, measure of risk and decision-making. Creation of models for active problems – control and influence.

3) Methods for the representation of graphical information

Research into and design of algorithms for computer graphics, data and information visualization, data representation, geometric object modelling and manipulation, application of computational geometry. Design of algorithms with respect to robustness and large data processing. Research into algorithms for virtual reality, human-computer interfaces for virtual and collaborative spaces, development of visual human-computer interaction techniques.

You will gain broader theoretical knowledge in the field of informatics and deep theoretical knowledge at the level of the current world state of the field according to the chosen specialization - software engineering and software systems reliability, natural language processing and data mining, computer graphics and its applications, medical informatics and distributed and embedded computing systems. You will be able, for example, to analyze and assess a large number of works from the world literature, use the right methods of scientific work, create new scientific results and publish them internationally.