School of Computing


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.

Introducing the Cyber-Physical Lab (CPL) based in the School of Computing.
This video shows initial experiments in visualising Design Space Exploration (DSE) results in Virtual Reality (VR)


Find out which staff members are involved in our research.


Dr Anirban Bhattacharyya
Research Associate

Telephone: +44 191 208 8592

Dr Sergiy Bogomolov
Senior Lecturer

Telephone: +44 191 208 8223

Professor John Fitzgerald
Head of the School of Computing

Telephone: +44 191 208 8228

Dr Leo Freitas
Lecturer in Formal Methods & Tools

Telephone: +44 191 208 8036

Telephone: +44 191 208 7972

Dr Marta Koutny
Senior Lecturer

Telephone: +44 191 208 7957

Professor Maciej Koutny
Professor of Computing Science and Director of Research

Telephone: +44 191 208 7982

Dr Richard Payne
Guest Member of Staff

Dr Ken Pierce

Telephone: +441912087883

Telephone: +44 191 208 7856

Dr Jason Steggles
Senior Lecturer

Telephone: +44 191 208 8035

Dr Yatapanage Yatapanage
Visiting Researcher

Current Projects

Completed Projects