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
 |
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 | 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 | System Software for Networking, Systems for Machine Learning, Internet Architecture and Datacenter Systems |
 |
Jingjie Li |
Privacy, security, online safety, and human-centered systems |
 |
Luo Mai | Computer systems, machine learning, data management |
 |
Mahesh Marina | Wireless networks, mobile systems, edge/cloud computing, applied machine learning, network security and privacy |
 |
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 |
 |
Adriana Sejfia | Software engineering, security, and program analysis |
 |
Amir Shaikhha | domain-specific languages, databases, programming languages, compilers |
 |
Nigel Topham | Design and analysis of high-performance computing systems, architecture simulation tools |
 |
Jackson Woodruff |
Associate Members
 |
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 | 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 | 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 |
 |
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. |
|
|
Sam Lindley |
Functional programming, Effect handlers, Behavioural types, Meta programming, Type inference, Expressiveness, Domain-specific languages, Compilers, WebAssembly, Formal specification languages. |
 |
Hugh Leather | Deep learning for compilers and systems. Energy and performance of data-centres. Mobile systems. |
 |
Milos Nikolic | Database management systems, in-database learning, large-scale data analytics, stream processing |
|
|
Elizabeth Polgreen | Program synthesis and verification |
 |
Ajitha Rajan | Software engineering, challenges in software testing |
 |
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 | |
 |
Steven Chien | Storage System, Networked Systems, Accelerators, High-Performance Computing |
|
|
Alec Diallo | |
|
|
Andrew Ferguson | |
 |
Luc Jaulmes | |
|
|
Mohamed Kassem | |
|
|
Siavash Katebzadeh | |
| Zhibo Li |
|
|
|
|
Qingrui Pan |
|
|
|
Ujjwal Pawar | |
 |
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 |
|
|
Xuan Sun | |
|
|
Chuanhao Sun | |
|
|
Chris Vasiladiotis | |
|
|
Qiyu Wang | |
|
|
Leyang Xue |
Honorary Members
 |
Sam Ainsworth | Computer architecture, optimising compilers, architectural and programming language security, memory systems, memory-level parallelism, fault tolerance |
|
|
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 | |
 |
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 |
|
|
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 |
Students
| Jordi Armengol Estape | |
| Esra Ayaz | |
| Alexander Brauckmann | |
| Jose Wesley De Souza Magalhaes | |
| Mathieu Fehr | |
| Andrew Ferguson | |
| Tianyi Gao | |
| Mahdi Ghorbani | |
| 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 |
| 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 | |
| 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 |
| 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 |
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 |