Please note that this newsitem has been archived, and may contain outdated information or links.
16 May 2019, PhD Defense, J. Bergfeld
Candidate: J. Bergfeld
Title: Quantum logics for expressing and proving the correctness of quantum programs
Date: Thursday 16 May 2019
Time: 10:00
Location: Agnietenkapel, Oudezijds Voorburgwal 229 - 231 - 1012 EZ Amsterdam.
Promotor: S.J.L. Smets
Copromotor: J. Sack
For more information,
contact Jort Bergfeld at jort.bergfeld at gmail.com.
Please note that this newsitem has been archived, and may contain outdated information or links.