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

Ross Anderson
Ross Anderson Security engineering; adversarial machine learning; security economics and psychology; the measurement of cybercrime and abuse; surveillance and privacy.
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)

Murray Cole
Murray Cole Parallel algorithms, skeletal parallel programming
Bjoern Franke Software Transformation Driven By Dynamic Information
Boris Grot Computer architecture, memory systems and interconnection networks. Architectural support for large-scale data processing. Systems with quality-of-service guarantees
Michio Honda
Michio Honda System Software for Networking, Systems for Machine Learning, Internet Architecture and Datacenter Systems
Jingjie Li
Jingjie Li

Privacy, security, online safety, and human-centered systems

Luo Mai
Luo Mai Computer systems, machine learning, data management
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
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
Adriana Sejfa
Adriana Sejfia Software engineering, security, and program analysis
Amir - ICSA
Amir Shaikhha domain-specific languages, databases, programming languages, compilers
Nigel Topham
Nigel Topham  Design and analysis of high-performance computing systems, architecture simulation tools

Associate Members

David Aspinall
David Aspinall Computer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environments
  Yang Cao Database systems: transaction processing; data-driving query optimization; graph computations
Tariq Elahi
Tariq Elahi Computer and network security and privacy enhancing technologies (PETs) with an emphasis on effective, efficient, and robust deployments
  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
  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
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
David Aspinall
Milos Nikolic Database management systems, in-database learning, large-scale data analytics, stream processing
  Elizabeth Polgreen Program synthesis and verification
Ajitha Rajan
Ajitha Rajan Software engineering, challenges in software testing
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

Research Staff

  Emilien Bauer   
  Russell Buchanan  
Steven Chien
Steven Chien Storage System, Networked Systems, Accelerators, High-Performance Computing
  Alec Diallo  
  Dimitra Giantsidi  
  Chris Hughes  
Luc Jaulmes  
  Mohamed Kassem  
  Siavash Katebzadeh  
  Zhibo Li  
  Anton Lydike  
  Qingrui Pan


Ali Razaei
Ali Rezaei Optimizing scalability and accuracy of classical quantum computing simulations on heterogeneous computing clusters. Other areas of interest include semiconductor and superconducting electronics, Technology CAD for device modelling, (quantum) PUFs, and condensed matter theory
  David Schall  
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.
  Xuan Sun  
  Chuanhao Sun  
  Chris Vasiladiotis  
Jackson Woodruff
Jackson Woodruff Compilers for hardware accelerators
  Jiaxun Yang  
  Yu Zhang  

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


Jordi Armengol Estape  
Esra Ayaz  
Alexander Brauckmann  
Jose Wesley De Souza Magalhaes  
Mathieu Fehr  
Andrew Ferguson   
Rongxiao Fu  
Yao Fu Current research focuses on the efficient inference of large language models in serverless computing clusters
Tianyi Gao  
Mahdi Ghorbani  
Dimitra Giantsidi Distributed and dependable systems, transactional datastores, replication protocols, storage architectures, Intel SGX, operating systems, parallel architectures
Shideh Hashemian  
Congjie He  
Celeste  Hollenbeck  
Yeqi Huang  
Shyam Jesalpura  
Amirali Kaboli  
Molham Khoja  
Amir Khordadi  
Martin Kristien

Instruction set simulation using dynamic binary translation in multicore systems

Jon Larrea  
Leping Li  
Shuo Li  
Weihe Li  
Zhibo Li Data-Centric parallelisation
Nikolaos Louloudakis Software testing focused on perception AI
Martin Lucke  
Alex Mascolo  
Karim Manaouil  
Nikos Mavrogeorgis  
Pei Mu  
Alan Nair  
Suhas Narreddy  
Amir Noohi  
Jingwen Pan  
Ujjwal Pawar  
Arjun Pitchanathan  
Xueying Qin Programming Languages, Formal Verification.
Xiangyu Ren  
David Schall  
Amna Shahab Computer architecture, memory systems, distributed machine learning
Hesam Shahrokhi  
Man-Kit Sit  
Dimitrios Stavrakakis  
Kim Stonehouse  
Alexander Strachan  
Christodoulos Stylianou  
Meisam Tarabkhah  
Xueheng Wang  
Dilina Wickramasinghe Dehigama  
Youning Xia  
Haocheng Xiao  
Tong Xing  
Leyang Xue  
Zhihang Yuan  
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