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.