Section: Partnerships and Cooperations

International Initiatives

Participation in Other International Programs

International Initiatives
  • FoQCoSS

  • Title: Foundations of Quantum Computation: Syntax and Semantics

  • International Partners (Institution - Laboratory - Researcher):

    • Universidad Nacional de Quilmes (Argentina) - Alejandro Díaz-Caro

    • CNRS (France) - Simon Perdrix

    • Universidade Federal de Santa Maria (Brazil) - Juliana Kaizer Vizzotto

  • Duration: 2016 - 2017

  • Start year: 2016

  • The design of quantum programming languages involves the study of many characteristics of languages which can be seen as special cases of classical systems: parallelism, probabilistic systems, non-deterministic systems, type isomorphisms, etc. This project proposes to study some of these characteristics, which are involved in quantum programming languages, but also have a more immediate utility in the study of nowadays systems. In addition, from a more foundational point of view, we are interested in the implications of computer science principles for quantum physics. For example, the consequences of the Church-Turing thesis for Bell-like experiments: if some of the parties in a Bell-like experiment use a computer to decide which measurements to make, then the computational resources of an eavesdropper have to be limited in order to have a proper observation of non-locality. The final aim is to open a new direction in the search for a framework unifying computer science and quantum physics.