People
Alastair Abbott
QInfoMy background is both in Computer Science and Physics, and my research is particularly focused at the intersection of these fields. In particular I am interested in the implications of quantum resources (entanglement, measurement incompatibility, causal indefiniteness) for information processing as well as the foundations of quantum mechanics and related philosophical questions. Recently, I have been working on: quantum information processing with indefinite causal orders, semi-device-independent approaches to quantum information (certification, cryptography, …), quantum correlations (contextuality and nonlocality). I am particularly interested in looking at how these approaches can be used to improve quantum information processing in the presence of noise.
Romain Alléaume
QuriosityRomain Alléaume graduated from ENS Paris in 2002 and from Télécom Paris in 2004. He completed his PhD, from Paris VI University in 2004 and was co-recipient of “magazine La Recherche” scientific prize. He then joined Telecom Paris and coordinated the activity on QKD performed within the European FP6 project SECOQC. Romain Alléaume co-founded the start-up company SeQureNet that developed, and successfully commercialized the first continuous-variable quantum key distribution (CV-QKD) system in 2013. ` Currently he is actively involved in the European Quantum Technology Flagship (OpenQKD, Quantum Secure Network Partnership), the EuroQCI program (ParisRegionQCI, FranceQCI) as well as in French PEPR Quantique (QCommTestbed). He is leading a research activity on quantum and classical cryptography, quantum networks and photonic quantum information processing as well as on cross-disciplinary topics linking quantum information with cryptography, photonics and security.
Pablo Arrighi
QuaCSPablo Arrighi is a French-Uruguayan Computer Scientist, Full Professor in the Informatics department of University of Paris-Saclay. He is the leader of the Quantum Computation Structures (QuaCS) team at the LMF laboratory/Inria Saclay Center. Pablo Arrighi started his research career with a PhD at the Computer Laboratory at the University of Cambridge, where he designed the first blind quantum computing protocol. As a lecturer in Grenoble, he initiated the study of quantum lambda calculus. He then established fundamental results on quantum cellular automata (structure, universality, applications to quantum simulation) making him a renowned specialist of the field. As a professor in Marseille, he also worked on generalizing cellular automata theory to arbitrary graphs. Currently, he explores the quantum regime of these causal graph dynamics, as a possible mathematical setting for quantum gravity, for instance through the qiss.fr consortium.
Francesco Arzani
QATFrancesco's research focuses on bridging theory and experiments towards the realization of continuous-variable (CV) quantum information processing (QIP) tasks. His current research interests include engineering multi-mode squeezed states, including non-Gaussian operations, universal computation with CV systems, bosonic error correcting codes and fault tolerance.
Guillaume Aubrun
QInfoGuillaume Aubrun is an assistant professor at Lyon 1 university since September 2006 in the "Probabilities" team. His research topics include convex geometry (sometimes called Asymptotic Geometric Analysis), especially in high dimensions, quantum information theory and its interplay with the former as well random matrices.
Miriam Backens
MOCQUAMiriam's research interests are in quantum computation and quantum information theory, as well as algorithms and computational complexity. Within quantum computation, Miriam's main focus is on properties and applications of different representations of quantum computations, in particular graphical formalisms such as the ZX-calculus and the one-way model of measurement-based quantum computing. Within algorithms and computational complexity, Miriam is particularly interested in the complexity of counting problems in the holant and counting CSP frameworks (which are closely related to certain notions of classical simulation of quantum computations).
Ivan Bardet
COSMIQMy current research interests are on the development of non-commutative functional inequalities and their applications to quantum information theory. During my thesis, I worked on the emergence of "classical" probability inside the theory of quantum open system. Some key words concerning my research would be: non-commutative functional inequalities, environment-induced decoherence, quantum stochastic calculus, quantum noises, operator algebras, von Neumann algebras, quantum Markov semigroups, classical reduction, quantum extension.
Peter Brown
QuriosityPeter received his PhD in 2019 from the Department of Mathematics at the University of York, UK, under the supervision of Roger Colbeck, for which he has been awarded the Anand Ramachandran Memorial Prize for the best PhD thesis. He was then a postdoctoral researcher at Inria, ENS de Lyon in the group of Omar Fawzi and in 2021 he joined the IQA group as an assistant professor at Télécom Paris. His research mainly focuses on the theoretical development of quantum cryptographic protocols (in particular those of a device-independent nature) and is interested in the application of convex optimization techniques to quantum information in general.
Philippe Campagne-Ibarcq
QuanticPhilippe graduated from Ecole Polytechnique in 2011. He obtained his PhD in 2015 in the physics department of ENS Paris, under the supervision of Benjamin Huard. There, he performed several experiments investigating quantum backaction and feedback in superconducting qubits. After a post-doc in the Quantronics group (CEA Saclay) focusing on quantum-enhanced detection of spins in semi-conductors, he joined the group of Michel Devoret at Yale university where he conducted projects leading to deterministic entanglement of remote superconducting circuits and quantum error correction on a ”grid state” logical qubit in a microwave cavity. He joined the Quantic team in 2019 to work on theoretical and experimental aspects of quantum error correction, and in particular autonomous stabilization of logical qubits encoded in high-impedance superconducting circuits.
Titouan Carette
PhiQusTitouan's research focuses on applying category theory and string diagrams to theoretical computer science and quantum physics. In practice, Titouan is designing diagrammatical equational theories to reason on various kinds of processes with rewriting techniques. In particular, he is involved in the development and outreach of the ZX-calculus, a diagrammatical syntax for quantum processes. Titouan's current interests include: picturing symplectic structure, linking ZW-calculus, fermions and perfect matchings, unifying symbolic dynamic and condensed matter and ormalizing the relational interpretation of quantum mechanics.
Ulysse Chabaud
QATUlysse's research interests cover various topics related to quantum information theory, such as quantum computing, quantum cryptography and quantum communication. He investigates the necessary resources for quantum advantages and how they translate to foundational questions, in the context of continuous-variable quantum computational models in particular.
André Chailloux
COSMIQMy main reserach interests are: quantum and post-quantum cryptography, quantum algorithms and quantum information
Luce Chiodelli
QuantumTech@InriaLuce, with years of experience in large project design and management, has joined the QuantumTech@Inria program. She will assist in strategic planning of QuantumTech@Inria and coordinate administrative, financial, and communication aspects. By closely collaborating with all Inria teams and administrative offices involved, she will facilitate seamless communication and cooperation, ensuring the efficient execution of the program's objectives.
Omar Fawzi
QInfoOmar is an Inria reseach director (Directeur de Recherche) at École Normale Supérieure de Lyon and heads the QInfo Inria team. His main research topics are quantum information and theoretical computer science.
Maxime Garnier
QuantumTech@InriaMaxime is Harold Ollivier's adjunct at the QuantumTech program.
Emmanuel Jeandel
MOCQUAEmmanuel is a professor at the University of Lorraine, member (former leader) of the MOCQUA team and head of the computer science department at Faculté des Sciences et Technologies of Université de Lorraine. His research focuses on
Zaki Leghtas
QuanticZaki was born in Agadir, Morocco. After graduating from high school in Rabat (Morocco), he moved to France where he spent two years near Nice. He then attended Ecole des Mines in Paris for three years and graduated in 2009. Zaki enrolled in a PhD program at INRIA/Mines under the supervision of Pierre Rouchon and Mazyar Mirrahimi, where he worked on some theoretical aspects of quantum state preparation and stabilization. After he defended his thesis in 2012, he joined the Devoret lab at Yale University and realized experiments on quantum error correction and quantum feedback. He became a member of the Quantic team in December 2015 as a researcher of MinesParisTech.
Anthony Leverrier
COSMIQAnthony is mostly interested in quantum error correction, quantum LDPC codes and quantum fault tolerance.
Mazyar Mirrahimi
QuanticMazyar Mirrahimi graduated from Ecole Polytechnique with a major in applied mathematics in 2003. He did his PhD studies with Pierre Rouchon at Ecole des Mines (Paris) from 2003 to 2005 and worked on control and estimation for Schrödinger-type equations. After a short visit to Hideo Mabuchi's lab at Caltech, he was hired as a research scientist at INRIA Paris-Rocquencourt in 2006. After spending some years working on theoretical problems related to quantum measurement and feedback, he contributed to the experimental realization of a quantum feedback loop by the group of Serge Haroche at Ecole Normale Supérieure de Paris. From 2011 to 2013, he spent two years as a sabbatical visitor at Yale University collaborating with the teams of Michel Devoret and Robert Schoelkopf. Through these collaborations, he has contirbuted to the design and analysis of various experiments on quantum measurement, feedback, error correction and reservoir engineering with quantum superconducting circuits. He is currently director of research at INRIA, part-time professor of Ecole Polytechnique, leader of Quantic team, and visiting research scientist at Yale. In 2017, he received the ``Prix Jeune Chercheur d'Inria-Academie des Sciences''
María Naya-Plasencia
COSMIQComing soon...
Harold Ollivier
QAT & QuantumTech@InriaHarold Ollivier leads the newly created QAT team. His research focus is on building tools and methods for designing more robust applications for quantum computers. More specifically, he is active through 3 broad areas: - Verification of delegated quantum computing and secure multiparty quantum computing - Noise estimation and error mitigation - Hardware-optimized quantum algorithms In parallel, Harold heads the QuantumTech Program launched by INRIA in 2021.
Romain Péchoux
MOCQUAI am member of the Inria quantum project-team MOCQUA. My main research domain is quantum computing and more specifically, the study of the complexity properties of quantum programs. I am also interested in, static analysis and verification, logic and type systems, computational models, programming Languages and implicit computational complexity.
Simon Perdrix
MOCQUASimon's objective is to contribute to the development of a full quantum stack, from models of quantum computing (like measurement-based quantum computation) to quantum programming languages, through intermediate languages like the ZX-calculus. 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. Simon is also interested in related topics in quantum cryptography (quantum secret sharing), foundations (causality, contextuality, indefiniteness of causal order) and NISQ algorithms.
Alexandru Petrescu
QuanticAlexandru's research themes cover theoretical condensed matter physics and quantum optics as well as many-body physics in open quantum systems.
Marc-Olivier Renou
PhiQusMarc-Olivier is a theoretical physicist working in quantum information science. His research interests include the study of quantum correlations, quantum networks, distributed quantum computing, device-independent quantum information processing and non-commutative polynomial optimization for quantum mechanics.
Pierre Rouchon
QuanticPierre Rouchon is professor with the Centre Automatique et Systemes at Mines-ParisTech, PSL Research University. He graduated from Ecole Polytechnique in 1983, has obtained a PhD in 1990 and an ``habilitation à diriger des recherches'' in 2000. From 1993 to 2005, he was associate professor at Ecole Polytechnique in Applied Mathematics. From 1998 to 2002, he was the head of the Centre Automatique et Systèmes. From 2007 to 2018, he was the chair of the department ``Mathématiques et Systèmes'' at Mines-ParisTech. Since 2015, he is a member of the Quantic Research team between Inria, Ecole Normale Supérieure de Paris and Mines-ParisTech. His fields of interest include nonlinear control and system theory with applications to physical systems. His contributions include differential flatness and its extension to infinite dimensional systems, non-linear observers and symmetries, quantum filtering and feedback control. In 2017, he received the ``Grand Prix IMT - Académie des sciences de Paris".
Cambyse Rouzé
QuriosityCambyse Rouzé’s research is focused on the mathematical analysis of complex quantum systems and their use for quantum information processing. His area of expertise includes quantum information theory with discrete and continuous variable systems, entropic inequalities, quantum spin systems at finite temperature and dissipative dynamics. More recently, he has been interested in questions related to the thermal stability of quantum memories and the complexity of quantum many-body states. He received his PhD in 2019 from the Department of Pure Mathematics and Mathematical Statistics at the University of Cambridge, UK, under the supervision of Nilanjana Datta. He was then a Humboldt postdoctoral fellow at the Technical University of Munich in the group of Robert König where he won a grant from the Munich Center for Quantum Science and Technology as a junior group leader. Starting from September 2023, he will begin a Starting Faculty Position at Inria Saclay in the Quriosity team.
Alain Sarlette
QuanticAlain Sarlette received the engineering degree in applied physics and the Ph.D. degree in applied sciences from the University of Liege, Liege, Belgium, in 2005 and 2009, respectively. He has held visiting positions at Princeton University (2006) and Ecole des Mines de Paris (2009–2010). Since 2011, he has been a Lecturer at Ghent University, Ghent, Belgium. Since Oct 2014, he has joined Quantic team as an INRIA research scientist. His research interests include nonlinear systems and geometric control approaches, coordination algorithms and distributed control, and quantum control.
Jean-Pierre Tillich
COSMIQJean-Pierre's work focuses on cryptology and inforation theory, both classical and quantum. He is particularly interested in the interactions between these two domains.
Antoine Tilloy
QuanticAntoine is currently assistant professor in the Centre Automatique et Systèmes at Mines ParisTech, which is part of Paris Sciences et Lettres (PSL), and am part of the Quantic research team physically located at Inria. I am interested in all aspects of quantum mechanics: orthodox (figuring out how to compute stuff) and unorthodox (understanding what the stuff we compute means about the world). These days, I am mostly interested in tensor networks (which I use to compress complex many body quantum states) and quantum field theory (which I try to solve non-perturbatively with tensor networks). I also keep side interests in semiclassical/quantum gravity, quantum foundations, and nuclear engineering.
Benoît Valiron
QuaCSBenoît Valiron obtained his PhD degree in computer science from the University of Ottawa in 2008. His research focused on the semantics of quantum programming languages. He was then a postdoctoral researcher at Inria, at Grenoble Alpes université, at Université Sorbonne Paris Nord and at the University of Pennsylvania in the United States. Since 2015, he is assistant professor at CentraleSupélec and does his research at LMF within the Inria QuaCS team. Benoît's research interests cover formal methods and math for the study of computation in general and quantum computation in particular. Some of his tools of choice are type systems, category theory, syntaxic languages and graphical languages.
Augustin Vanrietvelde
QuriosityAugustin Vanrietvelde’s research focuses on the study of quantum theory’s compositional and causal structures, with a mathematical and formal approach. He has worked on quantum causal models, coherent control, quantum computation architectures, indefinite causal order, and quantum reference frames. Most recently, he has been focusing on the mathematical underpinnings of causal structures in quantum theory, and on compositional structures in the presence of symmetry. He did his PhD within the University of Oxford’s Quantum Group, under the supervision of Jonathan Barrett, Giulio Chiribella, and Bob Coecke. He was then as a postdoctoral researcher at the ENS Saclay’s Quacs group before joining Télécom in 2023, as an assistant professor in the Quriosity team.
Filippo Vicentini
PhiQusThe objective of Filippo's research is to tackle open problems in Strongly Correlated Matter by developing novel numerical algorithms bridging the gap between Machine Learning (ML) and Quantum Physics, and to apply them to the study of Strongly Correlated Matter. Filippo's interest is especially centered around matter driven out of equilibrium such as Open Quantum Systems.
Renaud Vilmart
QuaCSRenaud currently is an ISFP (Inria Staring Faculty Position) researcher at LMF, in the QuACS team from Inria Saclay . He is generally interested in quantum computing and in categorical quantum mechanics and formal methods for quantum computing in particular. Renaudhas previously worked on the development of a graphical language called ZX-Calculus, which can be used for visualising and reasoning about quantum processes. Renaud previously was a postdoctoral researcher at LRI with Benoît Valiron and did his Ph.D. with Emmanuel Jeandel and Simon Perdrix at Loria, in the MOCQUA team.
Marc de Visme
QuaCSComing soon...
Christophe Vuillot
MOCQUAChristophe is a permanent researcher (chargé de recherche) at Inria Nancy in the MOCQUA team. My research interests are fault-tolerant quantum computation and quantum error correction for discrete as well as continuous quantum systems.
Mischa Woods
QInfoComing soon...
Vladimir Zamdzhiev
QuaCSVladimir's research interests in quantum and probabilistic programming languages, categorical quantum mechanics, string diagrams and category theory.
