People
All the members of the Institute for Computing Systems Architecture.
|
 |
Institute Director |
Software/hardware collaborative techniques for enhancing performance, programmability, reliability and security of parallel architectures. Memory consistency, cache coherence and synchronization for scalable parallel architectures |
Academic Staff
 |
Ross Anderson | Security engineering; adversarial machine learning; security economics and psychology; the measurement of cybercrime and abuse; surveillance and privacy. |
 |
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 |
 |
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 |
 |
Michio Honda | System Software for Networking, Systems for Machine Learning, Internet Architecture and Datacenter Systems |
 |
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 |
 |
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 |
 |
Paul Patras | Artificial intelligence in mobile networks, traffic analytics, performance optimisation, security and privacy, prototyping and test beds |
 |
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 |
Associate Members
| David Aspinall | Computer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environments | |
| 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 |
|
| 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 | |
 |
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 | |
| Database management systems, in-database learning, large-scale data analytics, stream processing | ||
| Ajitha Rajan | Software engineering, challenges in software testing |
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 |
| Alejandro Blanco | ||
| Steven Chien | ||
|
Adarsh Doddappagouda Patil |
||
| Mixime France-Pillois | ||
 |
Andres Goens | Software and hardware verification, compilers and programming languages |
 |
Luc Jaulmes | |
| Tobias Kohn | ||
| Roger Lo | ||
| Julian Parsert | ||
 |
Volker Seeker | Energy efficient mobile computing, scheduling for heterogeneous systems, parallel programming pattern, and compiler optimization |
| Tanya Shreedhar | ||
 |
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
| Lanre Adeoluwa | |
| Shinichi Awamoto |
Accelerating I/O software stacks for a heterogeneous architecture |
| Maurice Bailleu | |
| Shrey Bhardwaj | |
| Ludovic Capelli | Optimisation techniques for the vertex-centric programming model, used in graph processing. |
| Bruce Collie | |
| Lewis Crawford | |
| Andrew David | |
| Adarsh Doddappagouda Patil | Computer architecture and memory systems design |
| Yini Fang | |
| Vasili Gavrielatos | Consistency enforcement in distributed systems (aka replication protocols) amd multiprocessors (aka coherence protocols) |
| Dimitra Giantsidi | Distributed and dependable systems, transactional datastores, replication protocols, storage architectures, Intel SGX, operating systems, parallel architectures |
| Celeste Hollenbeck | |
| Maurice Jamieson |
Use of micro-core architectures for High-Performance Computing (HPC) and embedded applications, with a focus on programmability in terms of design (kernel offload abstractions) and implementation (compiler and runtime techniques) |
| Kuba Kaszyk | Fast and Accurate GPU Simulation |
| 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 |
| Caner Kilinc | Data driven applied Machine Learning and Artificial Intelligence in 5G Automation |
| Amir Khordadi | |
| Mark Klaisoongnoen | |
| Martin Kristien |
Instruction set simulation using dynamic binary translation in multicore systems |
| Jon Larrea Martinez | Mobile networks, networking systems and operating systems |
| 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 |
| Nikolaos Louloudakis | Software testing focused on perception AI |
| Martin Lucke | |
| Karim Manaouil | |
| Artemiy Margaritov | |
| Nikos Mavrogeorgis | |
| Rupen Mitra | Networked systems, Mobile Networking, Network Security |
| Naums Mogers | Compilation with machine learning-driven automatic parallelization targeting heterogeneous multi-core platforms such as CPUs, GPUs and FPGAs |
| Paschalis Mpeis |
Personalized optimization for interactive mobile applications. It uses a transparent approach that captures user inputs and replays them afterwards to apply offline iterative compilation |
| Martynas Noreika | |
| Nicolai Oswald | |
| Christos Perivolaropoulos | |
| Federico Pizzuti | |
| Xueying Qin | |
| Rodrigo Rocha | |
| Heba Salem | |
| David Schall | |
| Christof Schlaak | Optimising compilers, HPC, hardware design, machine learning |
| Amna Shahab | Computer architecture, memory systems, distributed machine learning |
| Dimitrios Stavrakakis | |
| Larisa Stoltzfus | HPC, code generation, compilers, stencils, scientific computing |
| Christodoulos Stylianou | |
| Chuanhao Sun | |
| Jakub Szewczyk | |
| Jorg Thalheim | |
| Jack Turner | |
| Dmitrii Ustiugov | Crossroads of Computer Systems and Computer Architecture with a focus on hardware and AI support for cloud infrastructure |
| Christos Vasiladiotis | Automatic compiler parallelization of legacy software |
| Chad Verbowski | |
| Tongjie Wang | |
| Mahesh Wickrama Arachchilage | |
| Jackson Woodruff | Using the compiler to manage reconfigurable hardware |
| Tong Xing | |
| Leyang Xue | |
| Justs Zarins | |
| Mingcan Zhu |
Administration
| Craig McKenzie Smith | Finance Administrator |
| Jodie Cameron | Institute Administrative Assistant |
| Ruta Bader | Portfolio Manager |
| Steph Smith | Institute Administrator |
Commercialisation
| Keith Edwards | Senior Business Development Executive |