The Software Systems Engineering Research Group investigates programming principles, modelling methods, architectures, infrastructures and tools for design and development of modern, medium to large scale, software systems. Providing services related to real-world solutions, the group aims at precise specifications of system structure and behaviour, and their consistent implementation. This behaviour often includes intelligence and autonomy.

We tackle software systems that function in multi-modal environments and often include augmented reality. The modelling and verification expertise assure that specifications and real-world goals have been met. Appreciating that modern systems are devoted to support existing, highly dynamic, industrial processes, we will investigate the dynamics of systems and processes, methods and tools for the development and integration of systems into existing infrastructures based upon the client and user centred approaches. Therefore, providing expertise related to the core elements of theoretical computer science as applied to software systems engineering, the group tackles theoretical problems and provides a range of services for software development, meeting the demand that comes from our industrial and academic partners.

Our research group has a rich experience in successfully supervising PhD students. We publish in peer reviewed journals with high impact factor. The members of the group have been involved in various national and international projects, among them are projects on GRID systems and Parallel Computing, formal specification languages, natural language processing, web technology, virtual environments and mobile learning.

We are involved in extensive national and international collaboration, in particular with the University of London, University of Manchester, University of Liverpool, University of Amsterdam, University of Poznan, University of San Sebastian and Moscow State University.