Logic in Quantum Computation and Information

FCT Project FEDER POCI/MAT/55796/2004 (January 1, 2005 - June 30, 2008) 

A joint project of CLC (now SQIG at IT) with CFIF, CFP, CEMAT and CAMGSD on quantum computation and information. The main goal of the project is to address and solve some of the many challenging open theoretical problems in the area, as well as to explore some important applications. Significant original results are expected in several aspects of the theory, such as: quantum walks of entangled particles, quantum algorithms in logic, categories of quantum automata and monads, exogenous quantum logic as a combination of logics, compositional analysis of quantum cryptosystems and security protocols. Applications will be investigated mainly for testing the appropriateness of the theoretical techniques, namely concerning zero knowledge proof systems.




(prepared within the scope of the project)

PhD theses

(in preparation within the scope of the project)



[+] since November 2005
[++] since March 2006


Last update: May 28, 2008.