Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
EN

Net zoals logica een fundamentele rol speelt voor klassieke informatietheorie, zal de quantumlogica een rol gaan spelen voor quantuminformatietheorie. De rol van logica zal belangrijk worden bij het ontwerpen van computeralgoritmes, zeker bij het specificeren en verifiëren. Jort Bergfeld richt zich in zijn onderzoek op het verband tussen quantumlogica en quantuminformatietheorie.

Detail Summary
Datum 16 mei 2019
Tijd 10:00
Locatie Agnietenkapel

Op zoek naar een proefschrift? Kijk dan hier.

Dhr. J.M. Bergfeld: Quantum Logics for Expressing and Proving the Correctness of Quantum Programs. Promotor is prof. dr. S.J.L. Smets. Copromotor is dr. J.H. Sack (California State University Long Beach).

Deelname

Toegang vrij

Agnietenkapel
Agnietenkapel

Ruimte Locatie

Oudezijds Voorburgwal 229 - 231
1012 EZ Amsterdam

Download de samenvatting (PDF)