Bringing the second quantum revolution into reality

In this talk Dr Dominic Horsman introduce recent work on high-level languages for quantum error correction processes.

In this seminar Dr Dominic Horsman will present recent work bridging the divide between high-level logical structures and practical quantum computing devices.

Aurélien Barrau (Laboratoire de Physique Subatomique et de Cosmologie) présentera les idées récentes qui font intervenir la possible existence d’Univers multiples dans le cadre de la cosmologie physique. Nous interrogerons la « scientificité » de ces propositions profiterons de cette occasion pour aborder quelques aspects d’épistémologie contemporaine. Entre dérives obscurantistes et tentations scientistes, comment se positionner ?

Quantum computing is on the verge of taking over the world. But what about its semantics? What about formal methods for quantum computers? Do we really need to carry around all the machinery of Hilbert spaces, unitary transforms, etc etc in order to work on quantum computing?

Real implementations of quantum algorithms on real quantum devices are not going to resemble the nice circuit drawings we find in Nielsen and Chuang. To actually run a quantum program we are going to need to translate from some simple high-level description, like a circuit diagram, to a complicated low-level description taking into account all the error correction, the quirks of the qubits, the architectural constraints of the machine etc etc etc. How can we have confidence that the final program is equivalent to the original one?

There are currently several empirically equivalent interpretations of quantum mechanics (orthodox, Everett, Bohm, ...), which provide different images of how the world could be like. On which criteria should one choose between them? Is an absence of consensus a sign of irrationationality? And finally, is choosing an interpretation a philosophical or a scientific job?

Meet the very unique ecosystem and strategies of the team Quantum Engineering Grenoble through a discovering day: labs and facilities, multidisciplinary approaches, new research forefronts, keynotes and presentations.