Skip to main content

Advanced Model-Based Engineering and Reasoning

We're advancing computing systems through research and collaboration.

Our aim

The Advanced Model-Based Engineering and Reasoning (AMBER) group aims to help people design, develop, and verify advanced computing systems by developing well-founded models, techniques, and tools.

Research impact

Our focus is on the "pipeline" from foundations to industry practice. We’ve demonstrated this through several impact case studies and tools.


We have extensive national and international collaborations with academia and industry. These collaborations have led to joint publications, industry co-productions, and research projects.

Aarhus University logo
University of Bristol logo
Nicolaus Copernicus University in Torun logo
Google logo
Kings College London logo
Leiden University logo
University of Liverpool logo
LMU Munich logo
McMaster University logo
OCamlPro logo
University of Oxford logo
Renesas Electronics logo

Group members

We have a dedicated team working in AMBER, with a diverse mix of:

  • academic staff
  • researchers
  • visiting scholars
  • PhD students

Each member contributes to our cutting-edge research.