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.