Skip to content
Open menu Close menu

Modelling, Testing and Verification (MTV) Research Group

Strategic Aim

MTV focuses equally on theory and practice by contributing with key results in the new developments in theoretical computer science and providing practical software engineering solutions to industry and cross-disciplinary applications.

Our research interests mainly involve (i) developing computational modelling, verification and testing methods, (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.

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.

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

Research Areas

The group investigates a large variety of topics, including (unconventional) computational models, such as state-based models, rewriting and concurrent systems, formal logics-based specifications, formal verification, model checking, model-based testing, multi-agent systems, agent-based simulations and high performance computing. Our main application areas are:

  • Systems and Synthetic Biology
  • Computational Biology
  • Membrane Computing
  • Ubiquitous Systems
  • Multi-agent Systems
  • Swarm Intelligence
  • Autonomous Systems
  • Real-time Systems
  • Safety-critical Systems
  • Cyber-Physical Systems
  • Vehicular Ad-hoc Networks

Any safety, security, robustness and resilience issues emerging from these systems and their formal analyses also fall into our research interests.

Group Members

Research Projects

Partners and Collaborators


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

Infobiotics Workbench (IBW) is a software platform designed to model and analyse systems and synthetic biology. IIB permits applying various computational techniques, such as modelling, simulation, verification and biocompilation. The simulation component includes various simulation algorithms implemented in a high-performance environment, whereas the verification part integrates various model checkers. The biocompilation component helps selecting appropriate devices into the designed system. This novel integrative approach makes IBW the only tool synthesising these different techniques in one tool. 

kPWorkbench is developed to support the computational analysis of membrane computing systems, in particular kernel P systems. kPWorkbench permits modeling, simulation and verification of membrane systems. The framework features a native simulator, a general-purpose large-scale agent based simulation environment, and several model checkers to formally verify membrane systems. The tool also features a query language based on natural language statements to express system requirements.

FLAME is a generic agent-based modelling system, which can be used to develop applications in many areas, e.g. biology, economy, meteorology, engineering, etc. It generates a complete agent-based application, which can be compiled and built on the majority of computing systems ranging from laptops to HPC super computers.

FLAME GPU is a high performance Graphics Processing Unit (GPU) extension to the FLAME framework. It provides a mapping between a formal agent specifications with C based scripting and optimised CUDA code. In FLAME GPU, simulation performance is significantly increased in comparison with desktop CPU alternatives. This allows simulation of far larger model sizes with high performance at a fraction of the cost of grid-based alternatives. Hence, massive agent populations can be visualised in real-time as agent data is already located on the GPU hardware.

PhD Opportunities

If you are interested in pursuing a PhD in the MTV research group, contact the head of the group, Prof. Marian Gheorge (

You can find some possible research topics in our Research Areas section and the application procedure here. You are strongly advised to explore potential sponsors yourself, as PhD studentships offered by the School of EECS are very limited, extremely competitive and often restricted to EU or even UK applicants.


The group is affiliated to a lab, Bradford Student Enterprise Centre, dedicated to the group's computing activities. 


Publication information will follow shortly...


Professor Marian Gheorghe (Group Leader):
School of Electrical Engineering and Computer Science
University of Bradford
Bradford, BD7 1DP
Tel: 01274 233930, overseas +44 1274 233930

Upcoming events

View all events »