School of Computing Science


Advanced Model-Based Engineering and Reasoning (AMBER)


Building abstract models of computing systems makes it possible to design better systems because one can reason about their behaviour while it is easy to explore alternatives.

Abstract models provide a basis to reason about the correctness of designs.

Modern computing systems are mobile, networked, and concurrent. These are characteristics that make them complex and risky to develop. This is especially true when we trust such systems with our money, resources, businesses or lives.

Our aims

Our work aims to help contain risk. We equip engineers with methods and tools that allow them to explore, verify and refine the properties of such complex systems.

We do this by means of models with well-founded semantics. Such model-based engineering can permit detection of optimal (and defective) designs long before the sometimes expensive commitment to implementations on real hardware.

Our current focus is on applying model-based methods in developing and managing several of the most demanding types of computing system. These include:

  • systems rich in concurrency
  • systems that combine computing (cyber), physical and human elements
  • biological systems
  • 'systems of systems' composed of independent, autonomous systems

Visit our group website for more information.


Find out which staff members are involved in our research.


Denise Carr
CSR Secretary & AMBER Research Administrator

Telephone: +44 (0) 191 208 7997

Professor John Fitzgerald
Director of the Centre for Software Reliability

Telephone: +44 191 208 8228 (7997 PA, Denise Carr)

Dr Leo Freitas
Lecturer in Formal Methods & Tools

Telephone: +44 191 208 8036

Dr Carl Gamble
Research Associate

Telephone: +44 191 208 3589

Dr Claire Ingram
Research Associate

Telephone: +44 (0) 191 208 5915

Telephone: +44 191 208 8183

Dr Victor Khomenko
Reader in Formal Methods

Telephone: +44 191 208 8789

Dr Marta Koutny
Senior Lecturer

Telephone: +44 191 208 7957

Professor Maciej Koutny
CS Director of Research

Telephone: +44 191 208 7982

Dr Richard Payne
Research Associate

Telephone: +44 191 208 3589

Dr Ken Pierce
Research Associate

Telephone: +44 191 208 7883

Dr Jason Steggles
Senior Lecturer

Telephone: +44 191 208 8035

Dr Andrius Velykis
Visiting Researcher

Dr Yatapanage Yatapanage
Visiting Researcher


Find out which students are involved in our research.

Mr. Martin Mansfield Email:
Mr. Razgar Ebrahimy Email:
Telephone: +44 191 20 83464
Mr. Diego Machado Dias Email:
Mr. Hansen Salim Email:
Mr. Mark Jackson Email:
Mr. Obad Alhumaidan Email:
Ms. Hanadi Abdulaziz M Alkhudhayr Email:
Mr. Troy Astarte Email:
Mr. Richie Jenkins Email:
Mr. Talal Saad M Alharbi Email:

Current Projects

Completed Projects