People
Hugo Araujo
Post-doctoral Research Associate – RoaRQ, King’s College London (Inv 009)
Hugo Araujo is a research associate and an early-career researcher based at King’s College London currently working with the Verifiability Node within the TAS Hub…
Antonio Barbalace
Senior Lecturer (Associate Professor), School of Informatics, University of Edinburgh
Previously he was Assistant Professor at Stevens Institute of Technology, Principal Research Scientist and Manager at Huawei Research, Research Assistant Professor…
Chris Barrett
Post-doctoral Research Associate – RoaRQ, University of Oxford (Inv 004)
Chris Barrett is a post-doctoral researcher working with Dr. Aleks Kissinger in the Quantum Group in the Dept. of Computer Science at the University of Oxford…
Simon Benjamin
Professor of Quantum Technologies, University of Oxford
Simon Benjamin is Professor of Quantum Technologies with the Materials Department in the University of Oxford. He leads a group of 15 applied theorists…
Joe Bhaseen
Reader in Theoretical Physics, King’s College London
He leads the Theory and Simulation of Condensed Matter (TSCM) Group. He is the Director of the EPSRC CDT in Cross-Disciplinary Approaches to Non-Equilibrium Systems…
George Booth
Reader in Theoretical Physics, King’s College London
He works on a broad range of numerical electronic structure and quantum information theory. This spans from quantum chemistry to applications of machine learning…
Dan Browne
Professor of Physics University College London
He has been active in quantum computing research for over 20 years, and has broad research interests. He is known for his work on measurement-based…
Oliver Thomson Brown
Chancellor’s Fellow, Quantum Applications Group Leader, University of Edinburgh
Dr Oliver Thomson Brown is Chancellor’s Fellow at EPCC, a leading supercomputing and data science centre at the University of Edinburgh…
Bipasha Chakraborty
Lecturer, Department of Physics and Astronomy, University of Southampton
Dr Bipasha Chakraborty is a theoretical particle physicist and a lecturer in high energy physics at the University of Southampton…
John A Clark
Professor of Computer and Information Security, University of Sheffield
He was previously Professor of Critical Systems at the University of York and a Royal Society Wolfson Research Merit Award Holder. His research work is predominantly…
Anuj Dawar
Professor of Logic and Algorithms, University of Cambridge
He is an expert in the applications of logic to computer science. His work is focused on areas of theoretical computer science where logical and combinatorial methods…
Raul Garcia-Patron Sanchez
Senior Lecturer (Associate Professor), School of Informatics, University of Edinburgh (Inv 006)
Raul Garcia-Patron Sanchez (Senior Lecturer since 2020) has background on quantum communication and quantum information on photonic systems…
Simon Gay
Professor and Head of Computing Science, University of Glasgow
His research interests are programming language foundations, quantum programming languages and formal methods for quantum computing. With Nagarajan…
Tobias Grosser
Reader in Compiler and Runtime Systems, University of Cambridge
Tobias Grosser is a Reader in Compiler and Runtime Systems at the University of Edinburgh. As an advocate for open-source-focused research, he demonstrated with…
Tom Gur
Associate Professor, Department of Computer Science & Technology, University of Cambridge
Tom Gur’s research is in Complexity Theory and Quantum Computing. This includes investigating the power and limitations of classical and quantum algorithms and…
Lajos Hanzo
Professor of Communication, University of Southampton
FREng, FIEEE, FIET, EURASIP Fellow (http:www-mobile.ecs.soton.ac.uk, https:en.wikipedia.orgwikiLajos Hanzo) received Honorary Doctorates from the Technical…
Michael Hart
Post-doctoral Research Associate, Queen’s University Belfast
Michael studied an MSci Mathematics here at Queen’s University Belfast beginning in 2015, and staying at Queen’s he began a PhD under Dr. John McAllister…
Chris Heunen
Professor of Quantum Programming, University of Edinburgh
He has published over 80 research articles in top venues across computer science (LICS, POPL, ICALP), physics (PRL, PNAS), and mathematics…
Rob Hierons
Professor of Testing at the University of Sheffield
Much of his research concerns the automated generation of efficient, systematic test suites on the basis of program code, models or specifications…
Paul Kelly
Professor of Software Technology, Imperial College London
Paul Kelly is working on domain-specific program optimisation and program generation. He was the lead computer scientist behind Firedrake, which automates…
Aleks Kissinger
Associate Professor of Quantum Computing, University of Oxford
He has ten years of research experience and over 50 publications in quantum computation, automated reasoning, graph rewriting, and categorical algebra…
Balint Koczor
Associate Professor in Quantum Information Theory, Mathematical Institute, University of Oxford
Bálint is currently Associate Professor in Quantum Information Theory at Mathematical Institute, University of Oxford. He obtained his PhD degree from the Technical…
Shuang Liang
Post-doctoral Research Associate, Imperial College London
Shuang Liang is a research assistant at Imperial College London. Previously he was an engineer at Swiss Federal Institute of Technology in Lausanne…
Noah Linden
Professor of Theoretical Physics, University of Bristol
Noah Linden (Bristol Mathematics) has made major contributions to non-locality, entanglement theory, verification of quantum computation and the foundations of…
Wayne Luk
Professor of Computer Engineering, Imperial College London
He is the Director of the EPSRC Centre for Doctoral Training in High-performance Embedded and Distributed Systems, and was a Visiting Professor…
Luo Mai
Assistant Professor, School of Informatics, University of Edinburgh
He leads the large-scale computer systems group and does research in computer systems, quantum computing, machine learning and data management…
Sarah Malik
Senior Research Fellow, Department of Physics & Astronomy, University College London
Dr Sarah Malik is a Royal Society University Research Fellow in the Department of Physics and Astronomy at University College London…
Mahesh Marina
Professor of Computer Science, School of Informatics, University of Edinburgh
Mahesh Marina is a Professor in the School of Informatics at the University of Edinburgh and a Turing Fellow at the Alan Turing Institute in London…
John McAllister
Deputy Head of School of Electronics, Electrical Engineering and Computer Science, Queen’s University Belfast
I am Deputy Head of School in the School of Electronics, Electrical Engineering and Computer Science (EEECS) at Queen’s University Belfast. My research focusses on…
Phil McMinn
Professor of Software Engineering, University of Sheffield
He has published extensively in software testing, and is well known for his work in search-based software engineering and automated test case generation [1, 2]…
Tom Melham
Principal Investigator, Professor of Computer Science, University of Oxford
Tom Melham’s research on formal hardware verification stretches back to the inception of the field. Melham’s academic work has been complemented by decades of…
Zong-Gang Mou
Post-doctoral Research Associate, University of Southampton
Zong-Gang Mou is a postdoc at the University of Southampton, working on the quantum computing of Quantum Field Theory (QFT).
Mohammad Reza Mousavi
Professor of Software Engineering, King’s College London
He leads the Software Systems Group. His main area of expertise is software and systems testing, particularly applied to autonomous- and variability-intensive systems…
Rajagopal Nagarajan
Professor of Foundations of Computing, Middlesex University London
He leads a group of academics working in various areas of theoretical computer science and its applications. Nagarajan received his PhD from Imperial College…
Gethin Norman
Senior Lecturer in Computing Science, University of Glasgow and Senior Research Fellow at the Department of Computer Science, University of Oxford
The focus of his research is on the theoretical underpinning of quantitative formal methods, particularly for systems exhibiting real-time and probabilistic…
Michael O’Boyle
Professor of Computer Science, University of Edinburgh
He is best known for his work in incorporating machine learning into compilation and parallelization.
David Parker
Professor of Computer Science, University of Oxford
His expertise is in formal verification, in particular for probabilistic systems. He has made significant contributions, covering theory, algorithms and tools and has…
Owain Parry
Post-doctoral Research Associate, Department of Computer Science, University of Sheffield
Owain Parry is a Research Associate in the Department of Computer Science at the University of Sheffield.
Ali Rezaei
Post-doctoral Research Associate, University of Edinburgh
During his MSc with the Many Body Theory Group at IASBS, Ali explored the thermoelectric properties of 3D topological insulators. He then pursued his PhD at…
Alex Rice
Post-doctoral Research Associate – RoaRQ, University of Edinburgh
I am generally interested at the moment in all things related to programming languages and type systems, and tools for working with these.
Amir Shaikhha
Assistant Professor, School of Informatics, University of Edinburgh
His research focuses on the design and implementation of data analytics systems by using techniques from databases, programming languages, compilers…
Davi Silva
Post-doctoral Research Associate, University of Cambridge
Davi Castro Silva received his PhD in Applied Mathematics from the University of Cologne (Germany) in December 2021, under the supervision of Prof…
Sergii Strelchuk
Royal Society University Research Fellow, Department of Applied Mathematics and Theoretical Physics, University of Cambridge
Sergii Strelchuk is a Royal Society University Research Fellow since 2020 and part of the Cambridge Centre for Quantum Information and Foundations at the Department…
Mark Webster
Post-doctoral Research Associate, University College London
Mark completed a combined Bachelor of Sscience/Law from the University of Sydney and was awarded the University Medal, specialising in Pure Mathematics…
David Windridge
Professor of Data Science and Machine Learning, Middlesex University London
His principal research activities focus on Machine Learning and Cognitive Systems, for which he pioneered a number of approaches including the kernel neutral point…
Nobuko Yoshida
Christopher Strachey Chair of Computing, a Statutory Professor of Computer Science, University of Oxford
Nobuko Yoshida is Christopher Strachey Chair of Computer Science in University of Oxford. She is an EPSRC Established Career Fellow and an Honorary Fellow at…
Zhenyu Cai
Junior Research Fellow in Physics, University of Oxford
Zhenyu Cai obtained his BA and MSci at Cambridge, and then moved to Oxford for his DPhil. He joined St John’s College, Oxford as a Junior Research Fellow in Physics…
Mark Zwolinski
Professor, School of Electronics and Computer Science, University of Southampton
He has been Associate Dean International from 2018 to 2023. He has published 220 refereed papers and written three textbooks. He has been on numerous programme…
