Research

Context. Quantum computing is a fast-growing research area. A successful development of the quantum computer requires filling the gap between the abstract quantum algorithms – that can solve problems out of reach of the classical computers – and the emergent architectures of quantum computers.

Objectives. My objective is to contribute to the development of a full quantum stack, from models of quantum computing to quantum programming languages, through intermediate languages like the ZX-calculus.

  • It is essential to study models of quantum computing, like MBQC, in order to understand the properties and constraints of quantum technologies.
  • The ZX-calculus is a graphical language that can be used to represent and to reason about quantum computations. Equipped with a complete equational theory, it can be used to perform code transformation, resource optimization, and also make computations more robust.
  • Programming a quantum computer requires dedicated and specific languages, not only for writing libraries but more importantly to capture the fundamental properties of quantum computing, ease the development of new algorithms, and develop static analysis tools.

I’m also interested in related topics in quantum cryptography (quantum secret sharing), foundations (causality, contextuality, indefinite of causal order), and NISQ algorithms.

A graphical approach. In various contexts, I like to develop graphical approaches for quantum computing, mainly of two kinds: (1) graphical languages like the ZX-calculus related to string diagrams, category theory; (2) Graph states, MBQC which are more related to graph theory. I am particularly happy when there are fruitful connections between the two, e.g. in [DP] and [DKPW]

Contributions.

Graphical Languages / Categorical Quantum Mechanics

ZX-Calculus: theory, completeness.

ZX-Calculus: applications, compiling stack.

Structures and constructions (for the ZX-calculus and other graphical languages)

Indefinite causal order.

Graph-based Quantum Computing.

MBQC. Measurement-based quantum computing

Quantum Secret Sharing and Local Complementation

Contextuality and Games

Causal graph dynamics

Quantum Programming Languages

NISQC