PhD Defense: Jort Bergfeld

On Thursday the 16th of May Jort Bergfeld (ILLC) will defend his PhD thesis

Quantum logics for expressing and proving the correctness of quantum programs

The ceremony will take place at the Agnietenkapel (Oudezijds Voorburgwal 229 – 231) at 10:00. For more information, please contact Jort Bergfeld at jort.bergfeld@gmail.com.