People

All the members of the Institute for Computing Systems Architecture.

[scald=1884:sdl_editor_representation {"alt":"Paul Patras","caption":""}]

Paul Patras 

Institute Director

 

Artificial intelligence in mobile networks, traffic analytics, performance optimisation, security and privacy, prototyping and test beds

 

Academic Staff

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

Image
Jianyi Cheng
Jianyi Cheng Computer Architecture, Compilers, Formal Methods, Systems for Machine Learning and Hardware Security
[scald=1881:sdl_editor_representation {"alt":"Murray Cole","caption":""}]
Murray Cole Parallel algorithms, skeletal parallel programming
Image
Bjoern
Bjoern Franke Software Transformation Driven By Dynamic Information
Image
Boris
Boris Grot Computer architecture, memory systems and interconnection networks. Architectural support for large-scale data processing. Systems with quality-of-service guarantees
[scald=3462:sdl_editor_representation {"alt":"Michio Honda","caption":""}]
Michio Honda System Software for Networking, Systems for Machine Learning, Internet Architecture and Datacenter Systems
[scald=6521:sdl_editor_representation {"alt":"Jingjie Li","caption":""}]
Jingjie Li

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

Image
Luo Mai
Luo Mai Computer systems, machine learning, data management
[scald=1880:sdl_editor_representation {"alt":"Mahesh Marina","caption":""}]
Mahesh Marina Wireless networks, mobile systems, edge/cloud computing, applied machine learning, network security and privacy
[scald=1908:sdl_editor_representation {"alt":"Mike O'Boyle","caption":""}]
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
Image
Y Patel
Yuvraj Patel Concurrency, Operating Systems, Storage & File Systems, Security, and Distributed Systems
Image
Adriana Sejfa
Adriana Sejfia Software engineering, security, and program analysis
Image
Amir - ICSA
Amir Shaikhha domain-specific languages, databases, programming languages, compilers
[scald=1883:sdl_editor_representation {"alt":"Nigel Topham","caption":""}]
Nigel Topham  Design and analysis of high-performance computing systems, architecture simulation tools
Image
Jackson Woodruff
Jackson Woodruff  

 

Associate Members

Image
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
Image
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
Image
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
Image
David Aspinall
Elham Kashefi Models of quantum computing and their structural relations, exploring new applications, algorithms and cryptographic protocols for quantum information processing device.
Image
David Aspinall
Markulf Kohlweiss Foundations of cryptography, formal verification, and applied cryptography.
[scald=6785:sdl_editor_representation {"alt":"Lindlay","caption":""}]

 

 

Sam Lindley

Functional programming, Effect handlers, Behavioural types, Meta programming, Type inference, Expressiveness, Domain-specific languages, Compilers, WebAssembly, Formal specification languages.

[scald=1879:sdl_editor_representation {"alt":"Hugh Leather","caption":""}]
Hugh Leather Deep learning for compilers and systems. Energy and performance of data-centres. Mobile systems.
Image
David Aspinall
Milos Nikolic Database management systems, in-database learning, large-scale data analytics, stream processing

 

 

 

Elizabeth Polgreen Program synthesis and verification
[scald=3446:sdl_editor_representation {"alt":"Ajitha Rajan","caption":""}]
Ajitha Rajan Software engineering, challenges in software testing
Image
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

Image
Steven Chien
Steven Chien Storage System, Networked Systems, Accelerators, High-Performance Computing

 

 

 

Alec Diallo  

 

 

Andrew Ferguson  
Image
luc
Luc Jaulmes  

 

 

 

Mohamed Kassem  

 

 

 

Siavash Katebzadeh  
  Zhibo Li

 

 

 

 

 

 

Qingrui Pan

 

 

 

 

Ujjwal Pawar  
Image
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
 

Chuanhao Sun

 

 

 

 

 

 

Xuan Sun  

 

 

 

Chuanhao Sun  

 

 

 

Chris Vasiladiotis  

 

 

 

Leyang Xue  

 

Honorary Members

Image
Sam Ainsworth
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
Image
christophe
Dr Christophe Dubach  

 

 

 

Dr Christian Fensch The design of many-core architecture and its implications on programability

 

 

 

Prof. Francisco Garcia  

 

 

 

Prof. Roland Ibbett  
[scald=1887:sdl_editor_representation {"alt":"Vijay Nagarajan","caption":""}]
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   

María Gragera Garcés

 
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