Creating and sharing knowledge for telecommunications

Project: Logic in Quantum Computation and Information

Acronym: QuanLog
Main Objective: 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.
Reference: POCI/MAT/55796/2004
Funding: FCT/POCI
Start Date: 01-01-2005
End Date: 01-12-2007
Team: Amílcar dos Santos Costa Sernadas, Carlos Manuel Costa Lourenço Caleiro, Paulo Alexandre Carreira Mateus, Maria Cristina de Sales Viana Serôdio Sernadas, Jaime Arsénio de Brito Ramos, João Filipe Quintas dos Santos Rasga, Luís Cruz-Filipe, Nikola Paunkovic, Pedro Miguel dos Santos Alves Madeira Adão, Yasser Omar
Groups:
Partners:
Local Coordinator: Amílcar dos Santos Costa Sernadas
Links: http://clc.math.ist.utl.pt/quantlog.html
Internal Page
Associated Publications