Un pantallazo sobre el control cuántico en cálculo lambda | JCC XX

Disertante: Alejandro Diaz-Caro

Abstract: En esta charla comenzaré con los conceptos básicos de la computación cuántica, explicando la diferencia entre los paradigmas de control clásico y cuánticos en los lenguajes de programación. Luego haré un pantallazo de la línea de investigación en control cuántico, desde los cálculos no tipados hasta sus modelos categóricos. Esta charla pretende ser un resumen de más de diez años de investigación en el área, desde los trabajos fundacionales de Altenkirch y Grattaga, y de Arrrighi y Dowek, hasta los trabajos más recientes.


Página de las JCC: https://jcc.dcc.fceia.unr.edu.ar/2022/
Instagram de las JCC:   / jccfceia  


00:00 - Intro
01:42 - Problemas técnicos
03:58 - Charla
54:29 - Preguntas y respuestas