Skip to main content

Fundamentals of Modelling and Verification Research

We're advancing research in modelling and verification, focussing on complex system behaviour.

Our research

We develop advanced formalisms to specify system behaviour, addressing complexities such as:

  • concurrency
  • uncertainty
  • continuous or hybrid behaviour

Our research includes designing scalable methods to verify these models, using:

  • compositional and modular techniques
  • trustworthy AI-enabled techniques

Our Advanced Model-Based Engineering and Reasoning (AMBER) group leads our research in the fundamentals of modelling and verification.

Research projects