A glimpse into the world of quantum computing and programming

10.04.2024, 14:00 - 16:00  –  Campus Golm, Building 9, Room 2.22 and via Zoom
Institutskolloquium

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.

Slides Just_Quantencomputing

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.