Bettina Just (Gießen), Dominique Unruh (Aachen)
14:00 Bettina Just (Gießen): Some Basics of Quantum computing.
14:45 Tea and Coffee Break
Zoom 15:15 Dominique Unruh (Aachen): Quantum Hoare Logic ... and Ghosts.
Bettina Just (Gießen): Some Basics of Quantum computing.
Abstract: This talk introduces basic concepts of the fascinating subject of quantum computing. Contents are: Difference between bit and qubit, model of adiabatic quantum computing for optimisation problems, the circuit model as a universal model for quantum algorithms and a brief look at the state of the art of current applications. No previous knowledge on the topic of quantum computing is required.
Dominique Unruh (Aachen): Quantum Hoare Logic ... and Ghosts.
Abstract: To verify the correctness of programs one often uses so-called Hoare logics. To verify quantum programs, we need quantum Hoare logics (QHL). I will give a short overview how QHLs work, and then present an extension of QHL, QHL with ghosts variables.
Slides Quantum_Hoare_Logic_and_ghosts
Wenn Sie digital an den Vorträgen teilnehmen möchten, wenden Sie sich bitte an Christian Molle molle@uni-potsdam.de, um die Zugangsdaten zu erhalten.
