Formal verification of quantum communication protocols
Submitted by
Sonja on Tue, 15/05/2012 - 12:01.
Call for Applications:
A 2,5 year Post-Doc position is available at the Institute for Logic, Language and Computation at the University of Amsterdam. The candidate will join the Vidi project of Dr. Sonja Smets.
VIDI Project: ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’:
