| 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.
|
