Advanced Model-Based Engineering and Reasoning

Research group focus

We develop rigorous methods for designing, analysing, and verifying complex computing systems. We create well-founded models, techniques, and tools that support dependability and trustworthiness across domains including software, cyber-physical systems, and emerging computing technologies. Our research spans:

Formal modelling and verification
Model-based engineering
Programme analysis, and
Quantum computing

We combine strong theoretical foundations with practical impact, working closely with academic and industrial partners to translate advances in theory into tools, methods, and real-world applications.

A hand writing mathematical equations on a whiteboard

Research areas

Fundamentals of modelling and verification 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

Research impact

AMBER’s research is driven by a commitment to real-world impact. We translate foundational advances in modelling, verification, and reasoning into tools, methods, and frameworks that support the development of dependable and trustworthy systems. Our work has contributed to applications in areas such as software reliability, cyber-physical systems, and emerging computing technologies, in collaboration with academic and industrial partners.

Key collaborators

We work closely with a wide range of academic and industrial collaborators, reflecting the breadth of AMBER’s research and its focus on real-world impact. These partnerships support the development of new theory, tools, and methods, and help ensure that our work addresses practical challenges in dependable and trustworthy computing.

Our current collaborators include: