The research group focuses on the economic aspects of developing and validating software tools and methods that contribute to the security and reliability of digital applications. The research links software engineering approaches with the evaluation of the economic impact of tools for automated software analysis, verification and testing.
Research areas:
- Economic evaluation of digital transformation tools and methods
- Differential equation theory and its application in economic models
- Formal and analytical approaches to modelling information systems and technologies
- Business informatics and cybersecurity in connection with modelling