Logic in Quantum Computation and Information
FCT Project FEDER POCI/MAT/55796/2004 (January 1,
2005 - June 30, 2008)
A joint project of CLC
IT) with CFIF, CFP,
CEMAT and CAMGSD on quantum
information. The main goal of the project is to address and solve
some of the many challenging open theoretical problems in the area, as
to explore some important applications. Significant original results
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
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.
- Rémy Mosseri (U
Pierre et Marie Curie);
Nikolaos Papanikolaou (U Warwick), Rajagopal Nagarajan (U Warwick),
Marcelo Terra Cunha (U Federal de Minas Gerais / U Leeds); Michael
Ben-Or (Hebrew U);
Peter Selinger (Dalhousie
U); Josep Batle Vallespir (U Balearic Islands); Francisco Marcos de
Assis (U Federal de Campina Grande); Rex Medeiros
(U Federal de Campina Grande);
Carlos Russo (U Innsbruck); Mingsheng Ying (Tsinghua U, Beijing,
China); Ignacio Cirac (MPQ Garching); Daniel Gottesman (Perimeter
Institute); Armando Perez (U Valencia, Spain); Simone Severini (U York,
UK); Christopher Fuchs (Bell Labs, Lucent Technologies); Ashwin Nayak
(U Waterloo); Rahul Jain (U California, Berkeley); Scott Aaronson (U
Waterloo); Sougato Bose (University College London); Anton Zeilinger (U
Vienna); Markus Arndt (U Vienna); Francesco Ciccarello (U Palermo);
Elham Kashefi (U Waterloo / U Oxford); Umesh Vazirani (U California,
Berkeley); Kai Eckert (U Hannover); Gilles Brassard (U Montréal);
Claude Crépeau (McGill U); Andris Ambainis (U Waterloo); Caslav Brukner
(U Vienna); Beatrix Hiesmayr (U Vienna); Lov Grover (Bell Labs); Adán
Cabello (U Seville); Antonio Acín (IPS Barcelona); José Ignacio Latorre
(U Barcelona); Sonia Smets (FU Brussels); Pedro Ribeiro (École
Polytechnique); Simon Gay (U Glasgow); Cris Moore (U New Mexico).
(prepared within the scope of the project)
(in preparation within the scope of the project)
- T0 - Physics of quantum computation and information
pursues specific goals in relevant aspects of quantum physics
and provides the foundational support for the whole project.
- T1 - Quantum computation
is aimed at developing new quantum algorithms, as well as at
establishing abstract results in computational complexity.
- T2 - Quantum automata
is directed at developing the categorical theory of quantum
automata, ultimately aiming at model checking of quantum algorithms and
- T3 - Logics for quantum reasoning
is focused on the development of a new quantum logic endowed with a
semantics based on superpositions of classical valuations, having in
mind the specification and verification of quantum protocols.
- T4 - Quantum cryptography and security
is mainly devoted to applications in cryptography and security,
with emphasis on zero knowledge proof systems.
[+] since November 2005
[++] since March 2006
Last update: May 28, 2008.