Supervisory Network

I am broadly interested in software transformation, mostly for performance optimisation and parallelisation, but I have also looked at various techniques to e.g. reduce code size on embedded processors.

My research field is Algorithms and Complexity, with special focus on probabilistic analysis and in particular the analysis of Markov chain Monte Carlo for random sampling and approximate counting. I also have done work on Algorithmic Graph Theory. I am keen to apply these techniques to a wide variety of problems, including in Quantum Algorithms and Complexity, and am actively looking to recruit PhD students.

My research focuses on theory of Cryptography. More specifically, I am interested in zero-Knowledge proofs, multi-party computation protocols and Blockchain.

In general, theoretical computer science. Specificially, algorithms and computational complexity theory, algorithmic game theory, equilibrium computation, analysis of probabilistic systems, Markov decision processes, stochastic games, logic, automata theory, model checking, analysis and verification of infinite-state systems, finite model theory and descriptive complexity.

I am part of the co-investigator team at the UK Quantum Technology Hub in Quantum Enhanced Imaging, developing detector arrays and systems for variety of applications from fundamental quantum physics to consumer cameras.

Cyber Security and Privacy, Censorship Resistance, and Anonymous Communications. Privacy-preserving data science. Post-quantum and Quantum-enabled designs for resilient and robust private messaging and communication systems. Satellite-based (e.g. Starlink, OneWeb) private and censorship resistant networks.

My core area of research is the development of novel methods for the generation, manipulation, and detection of quantum states of light. My interests include the application of high-dimensionally entangled systems to secure communication protocols.

I am interested in structural and foundational approaches to quantum computation.
A particular interest is in gaining a systematic understanding the sources of quantum advantage, in terms of quantum non-classicality. Mathematical tools I use and develop in pursuit of these goals include category theory, monads and comonads, sheaves and cohomology, logic and partial algebraic structures.

I am a professor of theoretical physics, with a particular in the areas of quantum field theory and lattice gauge theories. My research often explores the fundamental aspects of particle physics and the underlying structures of the universe. My recent activity has focused on machine learning and quantum algorithms, and their applications to high-energy physics.

My research is in programming language theory, and I’m also interested in logic and category theory. I’ve recently been especially interested in two kinds of programming language: probabilistic programming languages, and quantum computing and programming languages.

New technologies that exploit quantum physics: quantum sensors, quantum communications, and quantum computing. Theory to support the development of these technologies on various platforms, including novel silicon and diamond based materials.

I am interested in the systems aspects (Operating Systems, Distributed Systems, Systems Security, and Concurrency) of Quantum Computing. In particular, I am interested in building a Quantum Operating System that can support virtualization, concurrency, etc., while efficiently managing resources and providing near-ideal isolation.

I am a Reader (Associate Professor) in Artificial Intelligence and Data Science at the University of Strathclyde, where I have founded and lead the NeuraSearch Laboratory. My research vision has been to develop the underlying and core technology of “pro-active” information systems, which has an essential and challenging data science task: accurately infer and predict the immediate information needs of users by processing, analysing, and learning from abundant big data gathered from various sources including brain activation data gathered via MRI and EEG devices. My research interests and expertise are in line with Neuroscience, Information Retrieval, Natural Language Processing, Data Mining, Machine Learning and Deep Learning. My interests, however, are extended beyond Information Retrieval and pertain to rigorously understanding the world of Data Science and Artificial Intelligence.

I am interested in Rydberg RF devices, sensors, communications, and other related quantum RF systems. I have been the recipient of many best paper awards and scholarships, most notably a Fellowship from the Natural Sciences and Engineering Research Council of Canada (NSERC) as well as a Marie Sklodowska-Curie European Research Fellowship. Currently I am Senior Lecturer (Associate Professor) in RF Technologies at the University of Edinburgh, where I have founded and lead the RF/Antenna and Microwave Engineering Research Laboratory. This facility has the largest anechoic chamber for a Scottish University and provides professional measurement services to many UK companies.

The problems that interest me the most concern the interactions between low dimensional topology, non-commutative algebra, and representation theory, especially as these interactions arise in mathematical physics and gauge theory.

I like Functional Programming, especially Haskell. I also like Type Theory.

I am interested in quantum algorithms/quantum machine learning, quantum cyber security and foundations of quantum informatics. My research involves both developing the theory, methods, potential and limitations of quantum approaches, as well as using them for different applications such as in fundamental physics, cryptography and biology.

My research interests are broadly in networked systems. Current interests include mobile networking systems, AI for networking, quantum networking, cloud service assurance, ML systems, edge computing, sustainable computing and networking.

My main area of research is provable security: verification of crypto protocols, formal models, protocol composition, applied cryptography, quantum cryptography.

I am the Judith and Harold Rosenberg Chair in Quantum Computing and an RAEng Senior Research Fellow. I am also the currently Head of the Experimental Quantum Optics and Photonics Group. I am leading work developing neutral atom quantum computing within the Experimental Quantum Optics and Photonics group.

Prof Green’s research focusses upon understanding many-body quantum phenomena and harnessing this understanding to develop improved quantum software. He deploys tools at the interface of quantum field theory and tensor networks. The latter generate highly efficient classical code that can be ported to quantum computers. He led the International Quantum Tensor Network (IQTN) whose mission was to foster the uptake of tensor network methods in quantum computing.

I am interest in how we can use high performance computing (HPC) to simulate quantum computers to enable the development of quantum algorithms and model the limitations of NISQ hardware on these algorithms. As a member of EPCC and the team that delivers the ARCHER2 HPC service, I am particularly interested in how quantum computers can be integrated with HPC systems and how we might program such Quantum HPC systems to solve new computational challenges.

I study harnessing quantum mechanical properties of nanostructures and light. I am motivated by wishing to better understand the physical world, as well as enabling novel types of technologies.

My research is on mathematical models for programming languages and concurrent systems

Interested in topological aspects of quantum systems, including the Aharonov-Bohm or braiding interactions of anyons which are used in topological quantum computing.

My research bridges fundamental research in quantum optics and many-body physics to the design and real-world applications of quantum technologies. This includes developing new implementations of quantum computing and quantum simulation, as well as exploring applications of these devices to other fields in science, engineering and industry.

I am interested in the application of information theory and signal processing in quantum communication and computing. This includes quantum cryptography, distributed quantum computing, and quantum error correction. I enjoy working on a wide range of problems, from intricate information theoretic problems to developing algorithms for modelling realistic systems.

I am interested in algorithmic spectral graph theory. This includes graph sparsification, graph clustering, and sublinear algorithms for graphs and datasets. I particularly enjoy designing algorithms that work not only in theory but also in practice.

He is currently not taking on students as a Primary Supervisor; however, he is available to act as a Secondary Supervisor or in another supervisory capacity.

Erika Andersson obtained her PhD in 2000 from the Royal Institute of Technology, Stockholm, Sweden. She then held a Marie Curie Fellowship in the Department of Physics at the University of Strathclyde in Glasgow, followed by a Royal Society Dorothy Hodgkin Fellowship in the same department. She joined Heriot-Watt in October 2007 as a Lecturer, and was the first female professor of Physics at Heriot-Watt.

Communication Systems Engineering: Optical communication systems, communication channel modelling and mitigation, digital communication system modelling, design and analysis.

I am a physicist working on quantum algorithms for computational science and engineering applications, and on different computational models for quantum and hybrid quantum-classical computing.

My research areas are in Quantum Field Theory and Statistical Physics.

Mathematical physics; quantum physics; communications engineering.

The primary research questions I am interested in are: (i) how can compiler technology best exploit the potential of high performance heterogeneous architectures (ii) how can we best design high performance heterogeneous to meet emerging applications.

I am interested in distributed accelerator systems (such as GPUs), operating systems, and their intersection with quantum computing. Potentially impactful scenarios involve scalable simulation, real-time error correction, and resource scheduling for quantum computers. This research could help build the system software foundations for future quantum computing systems.

My research is in the areas of theoretical quantum information science and the foundations of quantum theory. I am currently interested in many different aspects of causation in quantum theory, including developing quantum causal models, quantum causal inference, structural properties and decompositions of quantum channels, the use of entropic quantities in reasoning about causation, de Finetti theorems, and developing diagrammatic formalisms. This is both for practical applications and to answer fundamental questions.

I am interested in quantum information and quantum foundations, and their intersection. I am interested in quantum non-local correlations (those that violate a Bell inequality) and how they can be utilised in quantum information tasks such as randomness generation, quantum state certification and verification of quantum computation, and in models of quantum computation such as measurement-based quantum computation. Recently, I have been interested in how statistical properties (such as quantum non-local correlations) interact with computational properties of systems (such as polynomial-time quantum computation) and how they lead to a more fine-grained understanding of quantum entanglement.

My research interest is computer networking and operating systems.

Our lab specialises in quantum light sources for quantum networking applications, including multi-party entanglement protocols, distributed quantum computing, and distributed quantum sensing. While our work is mostly experimental, we offer quantum software and other computational and numerical projects.

Most of what I do is about category theory and its many applications, including some nonstandard ones such as metric geometry and aspects of both analysis and theoretical ecology. They are loosely unified by the themes of size and measurement. My papers, talks and blog entries can all be found through my home page.

My work focuses on improving the efficiency of large-scale datacenters through improvements to server processor architectures, memory systems, and interconnects.

I am interested in high-performance classical simulation of quantum computing, which involves at least distributed and heterogeneous computing. I am also interested in quantum circuit knitting, to enable real-quantum processors, or classical simulations, to run more qubits than what possible today. I would love to develop a Quantum operating system.

My research focuses on developing quantum error correction protocols for fault-tolerant quantum computing, including the simulation and benchmarking of schemes targeting various hardware platforms. Key areas of study include code constructions, decoding algorithms, logical gate compilation, and resource estimation.

Description: I explore broad range of platforms (photonic, superconducting, ion trap) with an integrated software research programme (simulation, modelling and verification) focusing on application design in quantum computing (machine learning) and in quantum networks (quantum cryptography, quantum cloud computing) in a certifiable way (provable security, practical benchmarking, verification of computation).

My current research interests are Lattice Quantum Field Theory (LQFT), Renormalization Theory, algorithms for High Performance Computation (HPC), and computer algebra algorithms for tensor manipulation. I am also interested in HPC hardware and software architecture.

I am interested in holography and the application of quantum information and computation ideas in gravitational physics. This includes black holes, singularities, the emergence of spacetime and its relation to entanglement and complexity.

Cryptography, Cyber Security and Privacy. Protocol Design and Analysis, Formal threat modeling. Applications of quantum algorithms to cryptography, distributed systems and blockchain protocols and post quantum secure cryptography.

I am interested in bringing quantum computing into the world of high-performance computing (HPC). This includes implementing and benchmarking quantum applications, developing powerful emulation tools, and exploring programming models for hybrid quantum-HPC.

I develop computational chemistry methodologies and software to study biological molecules, with a particular focus on molecular simulation techniques. I am interested in novel algorithms that could enable quantum computers to tackle frontier problems in molecular biophysics and drug discovery.

My research in Computer Science focuses on the development of theories, semantic concepts, and supporting programming languages and software for the foundations of concurrent and distributed systems. I am particularly interested in session types, a type-based approach for verifying message-passing programs

My research is in machine learning for science, with a focus on developing methods for (Bayesian) inference and design.

I combine physical modeling, computational chemistry, and machine learning to design novel organic materials with quantum-tuned properties. Using high-throughput virtual screening and big data tools, I investigate how molecular structure influences function, aiming to enable breakthroughs in energy, optoelectronics, and next-generation technologies. This work offers an exciting opportunity for students eager to apply quantum insights to real-world materials discovery.

I am the Director of EPCC and the Dean of Research Computing within the College of Science and Engineering. I joined EPCC in 1994 as a software developer following a PhD in Particle Physics at CERN. Since 2016 I have led the development of the UK’s Exascale Supercomputer project.

My research consist on understanding the effect of errors in the process of quantum computation and quantum advantage. Part of this work consist on developing classical algorithm that efficiently simulate quantum computation under errors.

In addition to my role within the School of Informatics at the University of Edinburgh, I too am involved in the Quantum Software Lab and Phasecraft, where I work on quantum algorithms.

Low-dimensional correlated quantum systems, superconductivity, ultracold gases, quantum simulation, chiral many-body states, Density Matrix Renormalization Group (DMRG), numerical physics, parallel supercomputing.

My research mainly focuses on quantum cryptography, post-quantum cryptography and applications of quantum algorithms to cryptography. Additionally, I am also interested in applications of cryptography to complexity theory.

My research focuses on getting computers to understand, reason with, and generate natural language.

I am interested in quantum communication networks, in particular large-scale quantum entangelement distribution utilising satellite constellations. Topics include: design, operation, and optimisation of quantum network architectures; applications of distributed quantum information processing & sensing; and hardware specifications and requirements. These encompass short-term quantum key distribution, mid-term “NISQ” type quantum networking applications, and long-term scalable fault-tolerant networked/distributed quantum computation.

I am a criminologist at Edinburgh Law School interested in the use of new technology in crime, security and crime prevention. I specialise in understanding the policy and organisational implications of technology use. Quantum technology will revolutionise many aspects of society, and it will be important to understand its implications for cyber security, and to assess and foster organisational and societal readiness for post-quantum cryptography including in relation to regulations and standards implementation.

I am interested Algorithms & Complexity. More recently, I focus on randomised algorithms, for problems such as counting and sampling. My work usually involves ideas from probability theory, statistical physics, or combinatorics.

Stochastic computation, with applications in artificial intelligence, data science, network science and computational biology.

My research is in computational applied mathematics, including numerical analysis, mathematical modelling and software.

I am interested in simulations (and even occasional calculations) with various sorts of matter on dynamical lattices, random surfaces and random graphs. I am interested in Baxter relations for open integrable quantum spin chains.

I am interested in three main areas within quantum information and quantum computing, along with their intersections: quantum learning theory and theoretical quantum machine learning, quantum cryptography, and the foundations of quantum theory. I am particularly attracted to fundamental and theoretical questions in physics and computer science, where combining these with quantum information theory can lead to insightful inquiries, that can help us to better understand our world and the ways we can study it through computation.

I am interested in cryptography, blockchain technologies, security, and formal verification.

Aleks is an expert on quantum foundations and quantum software, and in particular classical and quantum causal inference, classical simulation of quantum circuits, and various aspects of quantum compilation such as quantum circuit synthesis, routing, and optimisation, particularly using graphical structures such as the ZX-calculus. He co-authored two books: Picturing Quantum Processes (a.k.a. “The Dodo Book”) and Picturing Quantum Software, which teach quantum theory and quantum software/compiling, respectively, from first principles using these methods.

I study arithmetic geometry and topological quantum field theory, including entanglement entropy in algebraic number theory.  I am also interested in the construction of super gold gates via arithmetic groups and topics in quantum complexity.

I do research in designing and learning probabilistic machine learning systems that are provably reliable once deployed by combining ccomplex probabilistic reasoning with efficient inference that can be scaled on GPUs. Tractable models such as probabilistic circuits also known as tensor networks are excellent candidates for this. I am interested in scaling tractable inference with quantum systems and understand its theoretical foundations.

My research is about improving the energy consumption and performance of computers, ranging from mobile systems to data centres.

I am interested in structural approaches to quantum programming. This includes category theory, programming semantics, concurrency, distributed quantum computing, and quantum logic. I particularly enjoy turning clean and elegant mathematics into intuitive and impactful quantum software.