LSV Seminar

The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Laurent Doyen and Stefan Göller.

The seminar is open to public and does not require any form of registration.

Next Seminar

Verification of quantum computation

Visit website for this news | Export event in iCalendar format

 Elham Kashefi
Tuesday, January 23 2018 at 11:00AM
Salle de Conférence (Pavillon des Jardins)
Elham Kashefi (University of Edinburgh and LIP6)

Quantum computers promise to efficiently solve not only problems believed to be intractable for classical computers, but also problems for which verifying the solution is also considered intractable. This raises the question of how one can check whether quantum computers are indeed producing correct results. This task, known as quantum verification, has been highlighted as a significant challenge on the road to scalable quantum computing technology. We review the most significant approaches to quantum verification and compare them in terms of structure, complexity and required resources. We also comment on the use of cryptographic techniques which, for many of the presented protocols, has proven extremely useful in performing verification. Finally, we discuss issues related to fault tolerance, experimental implementations and the outlook for future protocols.

Upcoming Seminars


Visit website for this news | Export event in iCalendar format

 Timothy Bourke
Tuesday, January 30 2018 at 11:00AM
Salle Condorcet (Bât. d'Alembert)
Timothy Bourke (ENS Paris)

About LSV


Export agenda in iCalendar format | Past seminars

Tue, Jan 23
Tue, Jan 30

Past seminars