J.M. Bergfeld, 1985
doctor
| Naam | J.M. Bergfeld |
|---|---|
| Voornamen | Jort Martinus |
| Roepnaam | Jort |
| Geboren | 1985, 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) |
|