People

All the members of ICSA

 

Murray Cole

Murray Cole

Institute Director

Parallel algorithms, skeletal parallel programming

Academic Members

Pramod Bhatotia

Systems, Distributed Systems, Operating Systems
Christophe Dubach   
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
Paul Jackson  Formal verification of hardware, software and cyber-physical systems. Formalised mathematics. Automation of formal reasoning
Hugh Leather Improving the energy consumption and performance of computers, ranging from mobile systems to data centres
Myungjin Lee Computer networks, network measurement and monitoring, data centres, cloud computing
Mahesh Marina Wireless and mobile networking, performance evaluation, distributed systems and algorithms
Vijay Nagarajan General research interests: Software/hardware collaborative techniques for enhancing performance, programmability, reliability and security of parallel architectures. Current research topics: Memory consistency, cache coherence and synchronization for scalable parallel architectures
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  Performance optimisation in wireless networks, network protocols and architectures, mobile traffic analysis, security and privacy, prototyping and test beds
Volker Seeker

Energy efficient mobile computing, Informatics learning analytics and technology

Aaron Smith  
Nigel Topham  Design and analysis of high-performance computing systems, architecture simulation tools
Stratis Viglas Data management and database systems, code generation, parallel and distributed processing, storage systems

Associate Member

Marcelo Cintra  Computer Architectures, Parallel and High-Performance Computing, Scientific Computing
Chris Fensch The design of many-core architecture and its implications on programability
Michel Steuwer  

Research Staff

Bruno Bodin Dataflow programming and compilation, especially static analysis and scheduling
Jose Cano Reyes Computer Architecture, Computer Systems, Interconnection Networks
Cengis Hasan  
Arpit Joshi Providing architectural support for systems with persistent (non-volatile) memory
Rakesh Kumar Computer Architecture, Memory Systems, Code Generation/Optimization
Pavlos Petoumenos Automatically creating representative workloads for designing, training, and evaluating optimisation heuristics
Tom Spink High-performance cross-architecture virtualisation, High-speed simulation, JIT compilation for DBT
Harry Wagstaff Instruction set simulation, architecture description languages, formal verification
Yuan Wen Heterogeneous task scheduling, Runtime system for hetergeneous platform
Zhenyu Wen Big data processing, Distributed system, Computer network, Resource allocation

Honorary Members

Roland Ibbett

Students

Ursula Challita Wireless communications and networking, UAVs for wireless communication, spectrum management, cellular network planning, optimization theory, game theory, and machine learning
Christopher Cummins Experimental semantics and pragmatics, quantity expressions, implicature, presupposition, dialogue modelling
Saumay Dublish GPU Architectures, Cache Hierarchies, Memory System 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.
Xenofon Foukas  
Juan Fumero Alfonso Compilers and Runtime Code Generation for Heterogeneous Computing
Philip Ginsbach  
Adam Harries  
Daniel Hillerstrom Algebraic effects and handlers; functional programming languages, their use and implementation
Antonis Iliopoulos  
Arpit Joshi Providing architectural support for systems with persistent (non-volatile) memory
Mohamed Kassem  
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
Caoimhín Laoide-kemp  
Rui Li Resource allocation in mobile networks, optimisation, and network protocols
Artemiy Margaritov  
Paul Metzger

Pattern Based Parallel Programming Language Models, Schedulers for Heterogeneous and Homogeneous Systems

Paul-Jules Micolet Dynamic Reconfigurable Architectures, Compiler Optimisations and Programming Languages
Naums Mogers Computational optimisation of Neural Networks, rewrite rules-based compilation, GPGPU
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

William Ogilvie Auto-tuning and machine learning, Compiler optimisations, Intelligent Runtime scheduling, Parallelism mapping in heterogeneous systems
Christos Perivolaropoulos  
Matthew Pugh  
Saravana Rathinakumar  Internet of Things, Home Networks, Artificial Intelligence and Human Computer Interaction
Toomas Remmelg  
Rodrigo Rocha Optimising compilers, compiler construction, parallel programming for heterogeneous architectures, and energy-aware high-performance computing
Martin Ruefenacht  
Mah Rukh  
Amna Shahab  
Rajkarn Singh  
Larisa Stoltzfus Performance portability, HPC, 3D wave models
Praveen Aravind Babu Tammana Software-defined networks, data center networks, network policy management, and network measurement architectures
Galini Tsoukaneri  
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
Chad Verbowski  
Justs Zarins  
Chaoyun Zhang Deep learning, mobile networking, spatio-temporal data mining
Mingcan Zhu Memory systems for data centres, Processor architecture and micro-architecture

Administration

(Portfolio Manager)
Heather Low (Support Office Supervisor/Finance Administrator)
Steph Smith (Support Office Secretary)
Allison Taylor (Support Office Secretary)

Commercialisation

Keith Edwards (Senior Business Development Executive)