# Nijmegen Quantum Logic Group

home people seminar
This webpage gives an overview of the research on Quantum Logic, Computation, and Security performed at Nijmegen, within the context of the ERC Advanced Investigator grant with the same title. This research concentrates on the following topics.
• Quantum logic and probability
• Semantics of quantum computation, in relation to possibilistic and probabilistic computation
• Non-locality and contextuality in distributed quantum computation
• Formal methods for quantum security protocols