Skip to content

CoM research

 

 

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

Projects

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

Our Projects

Partners and Collaborators

Our professional networks and strategic alliances enhance our research quality and innovation.

Our Partners

Software and Tools

The team members have been involved in the development of several novel and state of the art software tools and frameworks.

Software and Tools

PhD Opportunities

The group offers various opportuities for PhD projects on its research topics.

PhD Opportunities

Publications

Selected publications of our group.

Publications

Our Team

Our team includes leading academics, postdoctoral researchers and PhD students.

Our Team

News

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.

29/09/20 Congratulations to Dr Sohag Kabir for winning the July 2020 Research Development Fund Publication Prize Award of the University of Bradford.

Meet the team