People
All the members of the Institute for Computing Systems Architecture.
![]() |
Institute Director |
Artificial intelligence in mobile networks, traffic analytics, performance optimisation, security and privacy, prototyping and test beds |
Academic Staff and Associate Members
![]() |
Ross Anderson | Security engineering; adversarial machine learning; security economics and psychology; the measurement of cybercrime and abuse; surveillance and privacy. |
![]() |
David Aspinall | Computer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environments |
![]() |
Antonio Barbalace |
Systems Software (hypervisor, operating systems, runtime, compiler and linker) for parallel, distributed and heterogeneous computer architecture (including near data processing platforms) Real-time and general-purpose scheduling, targeting large deployments (data-center) as well as small-devices (embedded/IoT) |
![]() |
Yang Cao | Database systems: transaction processing; data-driving query optimization; graph computations |
![]() |
Murray Cole | Parallel algorithms, skeletal parallel programming |
![]() |
Tariq Elahi | Computer and network security and privacy enhancing technologies (PETs) with an emphasis on effective, efficient, and robust deployments |
![]() |
Bjoern Franke | Software Transformation Driven By Dynamic Information |
Vashti Galpin | Formal modelling and simulation of micro-architecture security | |
![]() |
Tobias Grosser | Compiler Optimization, Loop Optimization, High-Performance Computing, Linear Programming Solvers, Climate Modeling, Hardware Design Languages, Programmer Productivity, Domain-Specific Compilation, Programming Languages |
![]() |
Boris Grot | Computer architecture, memory systems and interconnection networks. Architectural support for large-scale data processing. Systems with quality-of-service guarantees |
Jane Hillston | Quantitative analysis and verification supported by formal methods: stochastic process algebras, stochastic logic, Markov processes, continuous approximations, performance modelling, systems biology, collective adaptive systems | |
![]() |
Michio Honda | System Software for Networking, Systems for Machine Learning, Internet Architecture and Datacenter Systems |
![]() |
Paul Jackson | Formal verification of hardware, software and cyber-physical systems. Formalised mathematics. Automation of formal reasoning |
![]() |
Elham Kashefi | Models of quantum computing and their structural relations, exploring new applications, algorithms and cryptographic protocols for quantum information processing device. |
![]() |
Markulf Kohlweiss | Foundations of cryptography, formal verification, and applied cryptography |
![]() |
Hugh Leather |
Deep learning for compilers and systems. Energy and performance of data-centres. Mobile systems |
![]() |
Luo Mai | Computer Systems and Networking, Distributed Machine Learning, Big Data Processing, Cloud-Edge AI Systems |
![]() |
Mahesh Marina | Wireless networks, mobile systems, edge/cloud computing, applied machine learning, network security and privacy |
![]() |
Vijay Nagarajan | Software/hardware collaborative techniques for enhancing performance, programmability, reliability and security of parallel architectures. Memory consistency, cache coherence and synchronization for scalable parallel architectures |
![]() |
Milos Nikolic | Database management systems, in-database learning, large-scale data analytics, stream processing |
![]() |
Mike O'Boyle | Auto-parallelisation, machine learning based compilation, optimising for heterogeneous multi-cores, GPU optimisation, design space exploration, robotics/vision/deep learning application drivers |
![]() |
Yuvraj Patel | Concurrency, Operating Systems, Storage & File Systems, Security, and Distributed Systems |
![]() |
Ajitha Rajan | Software engineering, challenges in software testing |
![]() |
Amir Shaikhha | domain-specific languages, databases, programming languages, compilers |
![]() |
Michel Steuwer | Areas of interest: Compilers, intermediate representations, programming languages, structured parallel programming, heterogeneous and GPU computing, performance portability, novel compilation techniques for high-level languages |
![]() |
Nigel Topham | Design and analysis of high-performance computing systems, architecture simulation tools |
Research Staff
![]() |
Sukarn Agarwal |
Memory Architectures, Network on Chip Design, and Thermal Aware Chip Management |
![]() |
Waleed Ahsan |
Machine learning and artificial intelligence (AI) for wireless networks, Non-Orthogonal Multiple access (NOMA)/ Next Generation Multiple Access (NGMA), Internet of Things (IoT), Wide Area Networks (WAN), Traffic Engineering. |
Emilien Bauer | ||
![]() |
Alejandro Blanco |
My research interests are focused on signal and array processing, wireless localization and sensing. More specifically, I am interested in channel decomposition algorithms and off-the-shelf experimentation. |
![]() |
Steven Chien | Storage System, Networked Systems, Accelerators, High-Performance Computing |
Maxime France-Pillois | ||
![]() |
Andres Goens | Software and hardware verification, compilers and programming languages |
![]() |
Luc Jaulmes | |
Anton Lydike | ||
![]() |
Julian Parsert |
Computer aided verification and theoretical computer science. Particularly interested in logic, (interactive) theorem proving, and proof/function synthesis. Research also involves applying machine learning and data science techniques to these areas. |
![]() |
Volker Seeker | Energy efficient mobile computing, scheduling for heterogeneous systems, parallel programming pattern, and compiler optimization |
![]() |
Tanya Shreedhar | Works broadly in the area of next-generation transport protocols, specifically but not limited to MultiPath TCP, QUIC and Age Control Protocol. |
![]() |
Christos Vasiladiotis | Compiler & runtime systems, parallelization, reconfigurable hardware |
Jackson Woodruff |
Honorary Members
Prof. Pramod Bhatotia | Systems, Distributed Systems, Operating Systems | |
Prof. Gordon Brebner | ||
Prof. Marcelo Cintra | Computer Architectures, Parallel and High-Performance Computing, Scientific Computing | |
![]() |
Dr Christophe Dubach | |
Dr Christian Fensch | The design of many-core architecture and its implications on programability | |
Prof. Francisco Garcia | ||
Prof. Roland Ibbett | ||
Dr Pavlos Petoumenos | Automatically creating representative workloads for designing, training, and evaluating optimisation heuristics | |
Aaron Smith | Post-Moore computing, optimizing compilers, hardware/software co-design, embedded systems, computer architecture, machine learning |
Visitors
![]() |
Sam Ainsworth | Computer architecture, optimising compilers, architectural and programming language security, memory systems, memory-level parallelism, fault tolerance |
Dr Jose Cano Reyes | Computer Architecture, Computer Systems, Compilers, Interconnection Networks, Deep Learning | |
Roberto Castaneda Lozano | Compilers, parallelization, combinatorial optimization, testing and verification |
Students
Jordi Armengol Estape | |
Shinichi Awamoto |
Accelerating I/O software stacks for a heterogeneous architecture |
Esra Ayaz | |
Maurice Bailleu | |
Siddharth Bhat Mala | |
Alexander Brauckmann | |
Jose Wesley De Souza Magalhaes | |
Alec Diallo | |
Adarsh Doddappagouda Patil | Computer architecture and memory systems design |
Mathieu Fehr | |
Andrew Ferguson | |
Rongxiao Fu | |
Yao Fu | |
Tianyi Gao | |
Mahdi Ghorbani | |
Dimitra Giantsidi | Distributed and dependable systems, transactional datastores, replication protocols, storage architectures, Intel SGX, operating systems, parallel architectures |
Congjie He | |
Bea Healy | |
Celeste Hollenbeck | |
Shyam Jesalpura | |
Siavash Katebzadeh | Computer Architecture, Compilers and the use of the graphics processing unit (GPU) as a general purpose processor. Currently I am working on Network Topologies, Routing and Congestion Control with particular emphasis on Predictable Datacenters |
Amir Khordadi | |
Caner Kilinc | Data driven applied Machine Learning and Artificial Intelligence in 5G Automation |
Martin Kristien |
Instruction set simulation using dynamic binary translation in multicore systems |
Jon Larrea Martinez | Mobile networks, networking systems and operating systems |
Shuo Li | |
Weihe Li | |
Zhibo Li | Data-Centric parallelisation |
Haoyu Liu | Advanced ML/DL techniques to network security and privacy issues, including intrusion detection, time series anomaly prediction and anti-censorship |
Chi-Jen Lo | |
Alexandre Lopoukhine | |
Nikolaos Louloudakis | Software testing focused on perception AI |
Martin Lucke | |
Karim Manaouil | |
Nikos Mavrogeorgis | |
Rupen Mitra | Networked systems, Mobile Networking, Network Security |
Pei Mu | |
Alan Nair | |
Amir Noohi | |
Ujjwal Pawar | |
Arjun Pitchanathan | |
Xueying Qin | |
Heba Salem | |
David Schall | |
Christof Schlaak | Optimising compilers, HPC, hardware design, machine learning |
Amna Shahab | Computer architecture, memory systems, distributed machine learning |
Hesam Shahrokhi | |
Man-Kit Sit | |
Dimitrios Stavrakakis | |
Kim Stonehouse | |
Alexander Strachan | |
Christodoulos Stylianou | |
Chuanhao Sun | |
Raven Szewczyk | |
Chad Verbowski | |
Mahesh Wickrama Arachchilage | |
Dilina Wickramasinghe Dehigama | |
Jackson Woodruff | Using the compiler to manage reconfigurable hardware |
Haocheng Xiao | |
Tong Xing | |
Leyang Xue | |
An Qi Zhang | |
Shengda Zhu |
Administration
Julie Laidlaw | Finance Administrator |
Andrew Macnaughtan | Institute Administrative Assistant |
Anna Lantouri | Portfolio Manager |
Steph Smith | Institute Administrator |
Commercialisation
Keith Edwards | Senior Business Development Executive |