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
Computational Modelling Research Unit
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.
The group has a strong track record of research projects supported by different funding organisations.Our Projects
Our professional networks and strategic alliances enhance our research quality and innovation.Our Partners
The team members have been involved in the development of several novel and state of the art software tools and frameworks.Software and Tools
The group offers various opportuities for PhD projects on its research topics.PhD Opportunities
Selected publications of our group.Publications
Our team includes leading academics, postdoctoral researchers and PhD students.Our Team
- 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. Sohag's paper: A Secure IoT-based Modern Healthcare System with Fault-tolerant Decision Making Process