CONICET | Buscador de Institutos y Recursos Humanos

Dentro de la familia de lenguajes para computación cuántica existen dos approaches bien diferenciados: Por un lado están los lenguajes con "control clásico", que llevan un flujo de control estándar del proceso de cómputo que es el que decide qué operaciones aplicar sobre cuales qubits, recupera el resultado de las mediciones y actúa en consecuencia. Por otro lado están los de "control cuántico", en donde se describe el flujo de control que ocurre en la computadora cuántica en sí, permitiendo describir una superposición en la misma estructura de control y estudiar dispositivos complejos como el quantum switch. En esta charla haré un recuento del área de investigación, y en particular de los fundamentos de lenguajes de programación, que se estudian con extensiones al cálculo lambda, teoría de tipos y sus modelos categóricos.