CONICET | Buscador de Institutos y Recursos Humanos

En esta charla voy a comenzar por dar una introducción a la computación cuántica, que es una manera de estudiar la mecánica cuántica. Luego, presentaré una introducción al cálculo lambda, que es una manera de estudiar los fundamentos de los lenguajes de programación y su relación con la lógica matemática. Finalmente, comentaré mis temas de investigación, que están en el área del cálculo lambda para computación cuántica. O, dicho de otro modo, el estudio de los fundamentos lógicos de la mecánica cuántica, utilizando técnicas de las ciencias de la computación. Las aplicaciones de dicha área son, por un lado, entender la mecánica cuántica desde el formalismo lógico, y por el otro, desarrollar lenguajes de programación con los cuales el día que exista una computadora cuántica, podamos programarla.