Fundamentos de lenguajes de programación para computación cuántica (cálculo lambda, teoría de tipos, teoría de categorías)
Área de trabajo
Mi investigación se enfoca en los fundamentos teóricos de la computación, con especial énfasis en el diseño, semántica y formalización de lenguajes de programación cuántica. Utilizo herramientas de la lógica matemática, el cálculo lambda, la teoría de tipos y la teoría de categorías para desarrollar modelos formales que permitan estructurar semánticas denotacionales y razonar sobre programas cuánticos, garantizando propiedades de corrección y seguridad en el procesamiento de información cuántica.
