Jort Martinus Bergfeld
Ph.D. Universiteit van Amsterdam 2019
Dissertation:
Quantum logics for expressing and proving the correctness of quantum programs
Advisor 1: Sonja Smets
Advisor 2: Joshua Haugen Sack
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 327703 for the advisor ID.