About


MetaLab is a group of scientists who explore the properties of hardware and software systems at a meta level. With modern computer systems growing in complexity far beyond the ability of humans to reason about them, this means building machine-based capabilities to model, reason about and control these systems. Our group works on this problem in many different dimensions and across many application domains, ultimately aiming to build a complete fundamental understanding of how we can express and reason about all forms of computational system at a higher level. Members of the group have expertise in research areas spanning cloud computing, datacenters, many-core systems, networking, IoTs, middleware, compilers, and runtime optimisation.

Want to join us? Prospective students click here.

Recent News


Shedding light on the era of Dark silicon
Researchers at Lancaster University are racing against time to find smart solutions to the rapidly advancing era of ‘dark silicon’.
Read more.
The Internet of Sheep: WiFi-connected flock to eat grass and transmit data
You may have heard of the Internet of Things — the idea that eventually all physical objects could communicate data
Read more.