People

All the members of the Institute for Computing Systems Architecture.

 

Mahesh Marina

 

 

Mahesh Marina

Institute Director

 

Wireless networks, mobile systems, machine learning applications in wireless networks and mobile systems, mobile privacy, network security

Academic Staff

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).

Pramod Bhatotia

Pramod Bhatotia

Systems, Distributed Systems, Operating Systems
Murray Cole
Murray Cole Parallel algorithms, skeletal parallel programming
Bjoern
Bjoern Franke Software Transformation Driven By Dynamic Information
Boris
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
Hugh Leather
Hugh Leather

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

Luo Mai
Luo Mai Software systems that can efficiently train large vision & NLP models, graph neural networks and deep reinforcement learning models.
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
Paul Patras
Paul Patras  Performance optimisation in wireless networks, network protocols and architectures, mobile traffic analysis, security and privacy, prototyping and test beds.
 

Aaron Smith

 

 

 

Post-Moore computing, optimizing compilers, hardware/software co-design, embedded systems, computer architecture, machine learning
Nigel Topham
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

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

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
Markulf Kohlweiss Foundations of cryptography, formal verification, and applied cryptography

Milos Nikolic

Database management systems, in-database learning, large-scale data analytics, stream processing
Ajitha Rajan Software engineering, challenges in software testing

Research Staff

  Roberto Castaneda Lozano Compilers, parallelization, combinatorial optimization, testing and verification
  Chris Cummins  
  Jakub Kaszyk  
Lu Li
Lu Li High performance autotuing compiler for accelerators, parallel algorithms, skeletal parallel programming
Magnus Morton
Magnus Morton Parallelisation, dynamic program analysis and transformation, and heterogeneous accelerators
Tom Spink
Tom Spink High-performance cross-architecture virtualisation, High-speed simulation, JIT compilation for DBT
  Jiawen Sun  

Honorary Members

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

Visitors

Dr Jose Cano Reyes Computer Architecture, Computer Systems, Compilers, Interconnection Networks, Deep Learning
Dr Michael Stuewer  
Dr Harry Wagstaff  

Students

Lanre Adeoluwa  
Maurice Bailleu  
Shrey Bhardwaj  
Vasileios Gavrielatos  
Bruce Collie  
Lewis Crawford  
Alec Diallo  
Adarsh Doddappagouda Patil Computer architecture and memory systems design
Priyank Faldu Microarchitecture enhancements, simulator design & implementation, workload characterization for bottleneck analysis, debugging performance issues on real hardware, programming parallel softwares, accelerating applications using GPU via OpenCL/CUDA etc.
Yini Fang  
Vasili Gavrielatos Consistency enforcement in distributed systems (aka replication protocols) amd multiprocessors (aka coherence protocols)
Dimitra Giantsidi  
Celeste  Hollenbeck  
Viktor Ivanov  
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)

Mohamed Khassem  
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
Antonis Katsarakis

Distributed Systems & Data Replication

Caner Kilinc Data driven applied Machine Learning and Artificial Intelligence in 5G Automation
Amir Khordadi  
Martin Kristien Instruction set simulation for multicore systems
Jon Larrea Martinez Mobile networks, networking systems and operating systems
Zhibo Li Data-Centric parallelisation
Haoyu Liu  
Martin Lucke  
Aleksandr Maramzin Parallelizing compilers, parallel programming, assistance for a software engineer in the task of manual software parallelization
Artemiy Margaritov  
Paul Metzger Skeletal parallel programmig, run-time systems, parallel real-time systems
Aman Mishra  
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  
Rodrigo Rocha  
Heba Salem  
Christof Schlaak Optimising compilers, HPC, hardware design, machine learning
Amna Shahab Computer architecture, memory systems, distributed machine learning
Rajkarn Singh  
Dimitrios Stavrakakis  
Larisa Stoltzfus HPC, code generation, compilers, stencils, scientific computing
Christodoulos Stylianou  
Chuanhao Sun  
Jorg Thalheim  
Jack Turner  
Harshavardhan Unnibhavi  
Dmitrii Ustiugov  Crossroads of Computer Systems and Computer Architecture with a focus on hardware and AI support for cloud infrastructure
Christos Vasiladiotis Interest is the automatic compiler parallelization of legacy software and its further promotion to structured parallel patterns, with a focus on loop level parallelism
Mahesh Wickrama Arachchilage  
Jackson Woodruff Using the compiler to manage reconfigurable hardware
Chaoyun Zhang Deep learning, mobile networking, spatio-temporal data mining
Mingcan Zhu Memory systems for data centres, Processor architecture and micro-architecture

Administration

Anna Lantouri Finance Administrator
Jodie Cameron Institute Administrative Assistant
Joanne Pennie Portfolio Manager
Ryan Ferguson Institute Administrative Assistant
Steph Smith Insitute Administrator

Commercialisation

Keith Edwards Senior Business Development Executive