All the members of the Institute for Computing Systems Architecture. Paul Patras Institute Director Artificial intelligence in mobile networks, traffic analytics, performance optimisation, security and privacy, prototyping and test beds Academic Staff Image Antonio BarbalaceSystems 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 ChengComputer Architecture, Compilers, Formal Methods, Systems for Machine Learning and Hardware SecurityMurray ColeParallel algorithms, skeletal parallel programmingBjoern FrankeSoftware Transformation Driven By Dynamic InformationBoris GrotComputer architecture, memory systems and interconnection networks. Architectural support for large-scale data processing. Systems with quality-of-service guaranteesMichio HondaSystem Software for Networking, Systems for Machine Learning, Internet Architecture and Datacenter SystemsJingjie LiPrivacy, security, online safety, and human-centered systems Image Luo MaiComputer systems, machine learning, data managementMahesh MarinaNetworked systems, wireless networks, AI for networking, mobile/edge systems, cloud-native systems, machine learning systems, quantum systems, sustainable computing and networkingMike 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 PatelConcurrency, Operating Systems, Storage & File Systems, Security, and Distributed Systems Image Adriana SejfiaSoftware engineering, security, and program analysis Image Amir Shaikhhadomain-specific languages, databases, programming languages, compilersNigel Topham Design and analysis of high-performance computing systems, architecture simulation tools Image Jackson Woodruff Associate Members Image David AspinallComputer security (particularly proof-carrying code), type systems for specification and programming languages, and proof development environments Yang CaoDatabase systems: transaction processing; data-driving query optimization; graph computations Image Tariq ElahiComputer and network security and privacy enhancing technologies (PETs) with an emphasis on effective, efficient, and robust deployments Vashti GalpinFormal modelling and simulation of micro-architecture security Image Tobias GrosserCompiler Optimization, Loop Optimization, High-Performance Computing, Linear Programming Solvers, Climate Modeling, Hardware Design Languages, Programmer Productivity, Domain-Specific Compilation, Programming Languages Jane HillstonQuantitative 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 KashefiModels of quantum computing and their structural relations, exploring new applications, algorithms and cryptographic protocols for quantum information processing device. Image Markulf KohlweissFoundations of cryptography, formal verification, and applied cryptography. Sam LindleyFunctional programming, Effect handlers, Behavioural types, Meta programming, Type inference, Expressiveness, Domain-specific languages, Compilers, WebAssembly, Formal specification languages. Hugh LeatherDeep learning for compilers and systems. Energy and performance of data-centres. Mobile systems. Image Milos NikolicDatabase management systems, in-database learning, large-scale data analytics, stream processing Elizabeth PolgreenProgram synthesis and verification Ajitha RajanSoftware engineering, challenges in software testing Image Michel SteuwerAreas 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 ChienStorage System, Networked Systems, Accelerators, High-Performance Computing Alec Diallo Andrew Ferguson Image Luc Jaulmes Siavash Katebzadeh Anton Lydike Qingrui Pan Ujjwal Pawar Image Ali RezaeiOptimizing 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 Chuanhao Sun Xuan Sun Chris Vasiladiotis Tong Xing Honorary Members Image Sam AinsworthComputer architecture, optimising compilers, architectural and programming language security, memory systems, memory-level parallelism, fault tolerance Prof. Pramod BhatotiaSystems, Distributed Systems, Operating Systems Prof. Gordon Brebner Prof. Marcelo CintraComputer Architectures, Parallel and High-Performance Computing, Scientific Computing Image Dr Christophe Dubach Dr Christian FenschThe design of many-core architecture and its implications on programability Prof. Francisco Garcia Prof. Roland Ibbett Vijay NagarajanSoftware/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 PetoumenosAutomatically creating representative workloads for designing, training, and evaluating optimisation heuristics Aaron SmithPost-Moore computing, optimizing compilers, hardware/software co-design, embedded systems, computer architecture, machine learning StudentsJordi Armengol Estape Esra Ayaz Emilien Bauer Mingsheng Cai Javier Bosch Carracedo Alexander Brauckmann Aarsh Chaube Jose Wesley De Souza Magalhaes Dayou Du Maria Durackova Mathieu Fehr Andrew Ferguson Yao Fu Tianyi Gao Mahdi Ghorbani Shideh Hashemian Congjie He Celeste Hollenbeck Yeqi Huang Shyam Jesalpura Jiuming Jiang Yinsicheng Jiang Molham Khoja Amir Khordadi Leping Li Shuo Li Weihe Li Nikolaos LouloudakisSoftware testing focused on perception AIMartin Lucke Alex Mascolo Karim Manaouil Nikos Mavrogeorgis Pei Mu Alan Nair Amir Noohi Jingwen Pan Ujjwal Pawar Arjun Pitchanathan Xiangyu Ren Jazal Saleem Man-Kit Sit Kim Stonehouse Alexander Strachan Meisam Tarabkhah Suhas Viswanath Mike Wang Xueheng Wang Dilina Wickramasinghe Dehigama Haocheng Xiao Tong Xing Leyang Xue Zhihang Yuan Shengda Zhu AdministrationJulie LaidlawFinance AdministratorAndrew MacnaughtanInstitute Administrative AssistantAnna LantouriPortfolio ManagerSteph SmithInstitute AdministratorCommercialisationKeith EdwardsSenior Business Development Executive This article was published on 2024-11-22
