J.M. Bergfeld, 1985
doctor
Naam | J.M. Bergfeld |
---|---|
Voornamen | Jort Martinus |
Roepnaam | Jort |
Geslacht | man |
Geboren | 1985, Sint Maarten, Nederland |
Link naar deze persoon | https://albumacademicum.uva.nl/id/id190032 |
Opleiding
Opleiding | Logica |
---|---|
Graad |
16 mei 2019
|
Examentype | promotie |
Instelling | Faculteit der Natuurwetenschappen, Wiskunde en Informatica
Universiteit van Amsterdam |
Proefschrift | Quantum logics for expressing and proving the correctness of quantum programs |
Promotor(en) |
|
Copromotor(en) |
|