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 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 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 Franke Software Transformation Driven By Dynamic Information Image 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 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 Yuvraj Patel Concurrency, Operating Systems, Storage & File Systems, Security, and Distributed Systems Image Adriana Sejfia Software engineering, security, and program analysis Image 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 Associate Members Image 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 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 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 Elham Kashefi Models of quantum computing and their structural relations, exploring new applications, algorithms and cryptographic protocols for quantum information processing device. Image 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 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 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 Storage System, Networked Systems, Accelerators, High-Performance Computing Alec Diallo Andrew Ferguson Image Luc Jaulmes Mohamed Kassem Siavash Katebzadeh Zhibo Li Qingrui Pan Ujjwal Pawar Image 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 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 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 This article was published on 2024-11-22
