The goal of this project is to study the coalgebraic characterization of quantum automata and the definition of logics suitable to the specificationand verification of their properties. The workplan involves 1. A literature review; 2. A novel mathematical work to characterize quantum automata coalgebraically; 3. Characterization of the emergent modal logic; 4. Characterization of a paraconsistent extension of the former.
Student in Computer Science, Physics Engineering or Informatics Engineering
Minimum profile required
Good knowlegde of quantum computation and quantum information
Marks above average in courses related to quantum computation and quantum information); Previous experience in Qiskit or Quipper; Proficiency in English.
Since 26 May 2020 to 08 Jun 2020
Cluster / Centre
Computer Science / High-Assurance Software