Jort Bergfeld carries our research at the interface between quantum logic and quantum computation. It contributes to a number of themes: relating algebraic and spatial quantum structures, designing hybrid and probabilistic quantum logics and axiomatising quantum logics.
J.M. Bergfeld: Quantum Logics for Expressing and Proving the Correctness of Quantum Programs.
Prof. S.J.L. Smets
Dr J.H. Sack (California State University Long Beach)
This event is open to the public.