Computational Modelling Research Unit

Strategic Aim

The Computational Modelling (CoM) Research Unit focuses equally on theory and practice of computational modelling by contributing with key results and new developments in theoretical computer science and providing practical software engineering solutions to industrial problems and cross-disciplinary applications.

Our research interests mainly involve (i) developing computational and data-driven modelling, verification and testing methods as well as safety and reliability analysis (ii) applying them in the qualitative and quantitative analyses of complex, concurrent and stochastic systems, and (iii) designing and developing state of the art software systems and tools supporting these approaches.

Its members collaborate widely with leading research groups and scientists across the world and welcome any joint research initiatives connected to the group’s research interests.

The group has a strong track record of research projects supported by different funding organisations.

The group is affiliated to a lab, the Computing Enterprise Centre, dedicated to the group’s computing activities facilitating links with industrial partners.

Key Research Areas

The group investigates a large variety of computational models, such as state-based models, data-driven models, rewriting and concurrent systems, unconventional computing models (membrane computing), quantum computing, discrete mathematics, formal logics-based specifications, formal verification, model checking, model-based and search-based testing, model-based safety and reliability, security, robustness and resilience analysis, multi-agent systems, agent-based simulations and high-performance computing.

Our research