Nicolás Alberto Monzón

PhD Student at Universidad de la República (Udelar)

Teaching at Universidad Argentina de la Empresa (UADE)

Quantum computingLambda calculusQuantum ControlRewriting systems

PhD student working on the foundations of programming languages for quantum computing. My research focuses on measurement structures and their connections to typed lambda calculi, type theory, and category theory.

Director: Alejandro Díaz-Caro

Co-director: Alberto Pardo

Research groups:

MFPF FunLeP

MFPF: Métodos Formales y Programación Funcional — Instituto de Computación (INCO), Facultad de Ingeniería — Universidad de la República (Udelar), Montevideo, Uruguay

FunLeP: Fundamentos de Lenguajes de Programación

Research & Profile

Working Papers

1 paper

Work in progress and papers under review — they move to the list below once published.

In progress

Research area — no definitive title yet

Quantum optics and the lambda calculus

Alejandro Díaz-Caro, Nicolás Alberto Monzón, Simon Perdrix

The abstract will be available once the work is presented.

Quantum OpticsLambda Calculus

2025

Paper in ProceedingsDOI: 10.1007/978-981-95-3585-9_8

A Quantum-Control Lambda-Calculus with Multiple Measurement Bases

Alejandro Díaz-Caro, Nicolás Alberto Monzón

APLAS 2025 - LNCS 16201:151-170

Engineering Thesis (eq. to Master's Thesis, EU)Advisor: Alejandro Díaz-Caro

Extensión de Lambda-S para diferentes bases de medición

Nicolás Alberto Monzón

Universidad Argentina de la Empresa (UADE)