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
24/11/20 Dr Raluca Lefticaru is co-chair of the 17th Workshop on Advances in Model Based Testing (A-MOST 2021), co-located with the 14th IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), which will be an online event and will take place in April 2021.
06/11/20 Congratulations to Dr Daniele Scrimieri for winning the September 2020 Research Development Fund Publication Prize Award of the University of Bradford.
- Daniele's paper: Chatter model for enabling a digital twin in machining
29/09/20 Congratulations to Dr Sohag Kabir for winning the July 2020 Research Development Fund Publication Prize Award of the University of Bradford.