All the members of the Institute for Computing Systems Architecture.

Paul Patras

Paul Patras 

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
Ross Anderson Security engineering; adversarial machine learning; security economics and psychology; the measurement of cybercrime and abuse; surveillance and privacy.
David Aspinall
David Aspinall Computer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environments
Antonio B ICSA
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
Yang Cao Database systems: transaction processing; data-driving query optimization; graph computations
Murray Cole
Murray Cole Parallel algorithms, skeletal parallel programming
Tariq Elahi
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 ICSA
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
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
David Aspinall
Elham Kashefi Models of quantum computing and their structural relations, exploring new applications, algorithms and cryptographic protocols for quantum information processing device.
David Aspinall
Markulf Kohlweiss Foundations of cryptography, formal verification, and applied cryptography
Hugh Leather
Hugh Leather

Deep learning for compilers and systems. Energy and performance of data-centres. Mobile systems

Luo Mai
Luo Mai Computer Systems and Networking, Distributed Machine Learning, Big Data Processing, Cloud-Edge AI Systems
Mahesh Marina
Mahesh Marina Wireless networks, mobile systems, edge/cloud computing, applied machine learning, network security and privacy
Vijay Nagarajan
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
David Aspinall
Milos Nikolic Database management systems, in-database learning, large-scale data analytics, stream processing
Mike O'Boyle
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
Y Patel
Yuvraj Patel Concurrency, Operating Systems, Storage & File Systems, Security, and Distributed Systems
Ajitha Rajan
Ajitha Rajan Software engineering, challenges in software testing
Amir - ICSA
Amir Shaikhha domain-specific languages, databases, programming languages, compilers
Michel Steuwer ICSA
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
Nigel Topham  Design and analysis of high-performance computing systems, architecture simulation tools

Research Staff

Sukarn Agarwal
Sukarn Agarwal

Memory Architectures, Network on Chip Design, and Thermal Aware Chip Management

Waleed Ahsan

Machine learning and artificial intelligence (AI) for wireless networksNon-Orthogonal Multiple access (NOMA)/ Next Generation Multiple Access (NGMA)Internet of Things (IoT)Wide Area Networks (WAN)Traffic Engineering.

  Emilien Bauer   
Alejandro Blanco
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
Steven Chien Storage System, Networked Systems, Accelerators, High-Performance Computing

Adarsh Doddappagouda Patil

  Maxime France-Pillois  
Andres Goens Software and hardware verification, compilers and programming languages
Luc Jaulmes  
  Anton Lydike  
David Aspinall
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
Volker Seeker Energy efficient mobile computing, scheduling for heterogeneous systems, parallel programming pattern, and compiler optimization  
David Aspinall
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


Sam Ainsworth
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


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  


Julie Laidlaw Finance Administrator
Andrew Macnaughtan Institute Administrative Assistant
Anna Lantouri Portfolio Manager
Steph Smith Institute Administrator


Keith Edwards Senior Business Development Executive