People

Supervisory pool

The academics available to supervise QRT Labs studentships, by department. In any given year some of them will not be taking on a new student. If the person you want to work with is not listed, see Admissions.

Computing

  • Wenjia Bai

    Wenjia develops deep learning methods for biomedical image analysis, in particular cardiac imaging, with tools deployed across large population studies such as UK Biobank.

  • Amir Bar

    Amir works on self-supervised learning and visual world models, teaching machines to perceive, reason and act from visual data with little or no supervision.

  • Francesco Belardinelli

    Francesco works on safe AI through formal methods: safe reinforcement learning, logic-based languages for AI, the specification and verification of multi-agent systems, and strategic reasoning under imperfect information.

  • Tolga Birdal

    Tolga works on topological deep learning, geometric machine learning and 3D computer vision, and on the theoretical limits of geometric computing and deep learning.

  • Roberto Bondesan

    Roberto works on quantum computing and on machine learning applied to quantum physics, in particular quantum algorithms for simulating quantum systems and learned approaches to quantum error correction.

  • Joey Bose

    Joey works on generative modelling and differential geometry for machine learning, with a current emphasis on geometric generative models for scientific applications.

  • Cristian Cadar

    Cristian works on practical techniques and tools for improving the reliability and security of software systems, spanning software engineering, computer systems and software security.

  • Oana-Maria Camburu

    Oana-Maria works on alignment and AI safety, in particular on measuring and improving the reliability of chain-of-thought explanations for overseeing advanced models.

  • Giuliano Casale

    Giuliano works on quality assurance, fault tolerance and resource management in distributed software systems, using machine learning and applied probability to model computer systems.

  • Soteris Demetriou

    Soteris works on systems security and privacy, analysing operating systems, protocols, machine learning models and side channels to make AI-integrated systems secure, private by design and accountable.

  • Jiankang Deng

    Jiankang works on multi-modal foundation models and generative modelling of the physical world: perceiving and synthesising complex sensory data and digital assets.

  • Alastair Donaldson

    Alastair works on formal analysis, software testing and programming-language techniques for improving software reliability, with a particular focus on software for high-performance systems.

  • Hongxiang Fan

    Hongxiang works at the intersection of hardware systems and machine learning, on efficient and dependable systems for deploying AI.

  • Aris Filos-Ratsikas

    Aris works at the intersection of theoretical computer science and artificial intelligence, on algorithms and computational complexity for social choice, fair division, competitive markets, game theory and mechanism design.

  • William Knottenbelt

    William works on the application of mathematical modelling to real systems, with a particular focus on cryptocurrencies, blockchains and distributed ledgers.

  • Marios Kogias

    Marios works at the intersection of operating systems, networking and distributed systems, building datacentre software with tail-tolerance, fault-tolerance and confidentiality guarantees on emerging hardware and in-network compute.

  • Francesco Leofante

    Francesco works on AI for decision making, with an emphasis on safety, explainability and alignment.

  • Alessio Lomuscio

    Alessio develops methods and tools for the verification of AI systems so that they can be deployed safely and securely, from neural networks and robust machine learning to autonomous systems and neuro-symbolic verification.

  • Wayne Luk

    Wayne leads research in custom computing and in programming languages and systems: reconfigurable hardware and the tools that target it.

  • Dario Paccagnan

    Dario works on the modelling, analysis and control of multi-agent systems in which self-interested agents take autonomous decisions, drawing on game theory, optimisation and control.

  • Panos Parpas

    Panos works on mathematical optimisation, algorithms as dynamical systems, computational mathematics, scientific computing and computational finance.

  • Peter Pietzuch

    Peter works on scalable, reliable and secure data-intensive software systems, with a particular interest in performance, data management and security.

  • Francesca Toni

    Francesca works on computational logic and argumentation, and on their use for explainable artificial intelligence.

  • Calvin Tsay

    Calvin works on optimisation and learning methods for sequential decision making under uncertainty, with a focus on mixed-integer programming and statistical learning.

  • Lluís Vilanova

    Lluís heads the software/hardware and secure systems group and co-leads the Large-Scale Data and Systems group, working where systems software meets hardware.

  • Stefanos Zafeiriou

    Stefanos works on statistical machine learning and its application to computer vision: face and body analysis, deformable object fitting and tracking, and human behaviour analysis.

Mathematics

  • Nikolas Kantas

    Nikolas develops numerical methods for complex problems in inference, optimisation, filtering and control, in particular particle filtering, sequential Monte Carlo and Markov chain Monte Carlo.

  • Johannes Muhle-Karbe

    Johannes works on optimal trading with frictions and on market microstructure: how transaction costs, price impact and liquidity shape portfolio choice and markets.

  • Eyal Neuman

    Eyal works on probability and stochastic processes, with a focus on mathematical finance, interacting particle systems and stochastic analysis.

  • Greg Pavliotis

    Greg works on interacting particle systems, algorithms for inference, sampling and optimisation, Fokker–Planck equations, statistical dynamics and the multiscale analysis of Markov processes.

  • Almut Veraart

    Almut works on mathematical statistics for stochastic processes, including continuous-time modelling of time series, stochastic volatility and ambit stochastics, with applications to high-frequency financial data, energy markets and extreme event prediction.

Business School

  • Marcin Kacperczyk

    Marcin works on carbon risk and sustainable finance, mutual fund performance and the efficiency of financial markets.

  • Robert Kosowski

    Robert works on asset management and risk management, including machine learning, hedge and mutual fund performance, derivative trading strategies and economic forecasting.

  • Alexander Michaelides

    Alexander works on macro-finance and household finance: heterogeneous-agent models, portfolio choice and asset pricing.

  • Wolfram Wiesemann

    Wolfram works on decision-making under uncertainty, with applications to supply chains, healthcare and energy.