CONICET | Buscador de Institutos y Recursos Humanos

Desde que Peter Selinger planteara en 2004 [1] el concepto de «control clásico y datos cuánticos», la mayoría de los lenguajes de programación para computación cuántica siguen ese modelo. La idea es que el día que exista una computadora cuántica, ésta será un dispositivo anexo a una computadora clásica, y será la computadora clásica la que instruya a la cuántica de qué operaciones realizar, sobre cuales qubits, etc. El concepto de control cuántico en cambio, si bien es muy difundido en el ámbito de los autómatas y otros modelos de cómputo cuántico, se comenzó a estudiar en los lenguajes de programación a partir del trabajo de Pablo Arrighi y Gilles Dowek con su lambda cálculo algebraico lineal [2]. La idea es estudiar el concepto de bilinealidad en lenguajes de programación y llegar a la definición de una lógica matemática cuántica fuertemente basada en las ciencias de la computación. Es en esta línea que en 2017, publicamos con Gilles Dowek el primer cálculo lambda completo con control cuántico [3]. Recientemente comenzamos a estudiar una semántica categórica de éste cálculo junto a Octavio Malherbe (UdelaR), otro miembro del grupo LoCIC. En esta charla voy a comentar las bases del trabajo con Gilles y los avances realizados con Octavio.