Computer Systems and Hardware for ML

The supervisors with research interests in computer systems and hardware for ML are listed below.

Ajitha Rajan

Professor and Personal Chair of Software Testing and Verification

Research

automated software testing techniques, biomedical artificial intelligence

Amir Shaikhha

Reader

Research

design and implementation of data-analytics systems

Antonio Barbalace

Senior Lecturer in Operating Systems

Research

system software, specifically, operating systems, virtualisation environments, run-times/compilers/linkers for parallel, heterogeneous and distributed computer architectures from embedded to data-center scale

Bjoern Franke

Professor and Personal Chair of Software Transformation

Research

software transformation, dynamic program analysis and transformation, just-in-Time Compilation, code generation and optimisation, instruction set simulation, hardware/software design space exploration

Boris Grot

Professor and Personal Chair of Computer Systems and Architecture

Research

Cross-stack innovation for tomorrow’s datacenters: from microarchitecture to software/hardware co-design to massively parallel cloud-based services

Jackson Woodruff

Lecturer in Compiling Techniques

Research

compilers for hardware accelerators

Jianyi Cheng

Lecturer in Computer Architecture

Research

high-level synthesis, formal methods, deep learning systems, hardware security

Luo Mai

Lecturer (Assistant Professor) in Data Centric Systems

Research

intersection of computer systems, machine learning, and data management

 

Mahesh Marina

Professor and Personal Chair of Networked Systems

Research

networked systems (wireless networks, mobile/edge systems), loud service assurance, edge computing, sustainable computing and networking, machine learning systems and quantum systems

Michael O’Boyle

Professor and Personal Chair of Computer Science

Research

heterogeneous code discovery and Optimisation, neural machine translation and neural synthesis, deep neural network system stack, software defined hardware, auto-parallelising compilers, GPGPU multi-core platforms, machine learning based optimisation, compiler/architecure co-design space exploration, very high level programming languages

Michio Honda

Reader

Research

identifying TCP extensibility against middlebox interference and building the first TCP/IP network stack for persistent memory, (currently) network stack designs

Murray Cole

Professor and Personal Chair of Patterned Parallel Computing

Research

parallel programming models, emphasising approaches which exploit skeletons to package and optimize well known patterns of computation and interaction as parallel programming abstractions

Nigel Topham

Professor and Chair of Computer Systems

Research

computer architecture, development of next-generation microarchitectures for high-performance embedded systems, (currently) automated synthesis of processors, interactions between the synthesis of architecture, microarchitecture, and physical design

Paul Patras

Professor and Personal Chair of Mobile Intelligence

Research

mobile intelligence, network traffic analytics, performance optimisation, security and privacy, explainability, bridging fundamental mathematical models and real-world applications of networked systems