¿Cómo explicarías el tema de tu tesis doctoral?
Mi tesis se trata acerca del contenido computacional de ciertas estructuras matemáticas. Las hiperdoctrinas son categorías con ciertas propiedades que tienen una lógica por detrás. El contenido computacional se refiere a la definición de modelos de cálculo tales que puedan interpretarse usando estas estructuras matemáticas. En particular, los modelos de cálculo que busco definir son cálculos lambda cuánticos. Estas son extensiones al cálculo lambda que permiten interactuar con datos cuánticos, y a veces también considerar a los mismos programas realizando interacciones cuánticas entre sí.
¿Qué ejemplos de aplicaciones existen de este tema?
Al estudiar las formas de interpretar cálculos lambda cuánticos en distintos tipos de estructuras matemáticas, podemos entender mejor y de distintas maneras cómo actúan los principios de la cuántica, y cómo podemos pensar en ellos para lograr computar lo que queremos.
¿Cómo te gustaría continuar luego de tu doctorado?
Me gustaría continuar investigando, recién estoy empezando pero me interesan mucho estos temas.
Te propongo un “ping pong” de gustos e intereses…
¿Una película?
El cuento de la princesa Kaguya de Isao Takahata.
¿Una banda y un disco?
A 18′ del sol – Spinetta.
¿Un libro?
Bomarzo de Mujica Láinez.
¿Una frase o cita favorita?
«La única lucha que se pierde es la que se abandona».
Nombre: Malena Ivnisky
Inicio de doctorado: Diciembre 2020
Director: Alejandro Díaz-Caro
Grupo de Investigación: LoReL (Lógica y Reescritura para Lenguajes de Programación).
Sitio Web: https://lorel-team.github.io/
