Nicolás Alberto Monzón

Maestría Student at Universidad de la República (Udelar)

A research degree between a Master's and a doctorate (Bac+6/7) — the usual entry route to a PhD.

Teaching at Universidad Argentina de la Empresa (UADE)

Quantum computingLambda calculusQuantum ControlRewriting systems

I am Nicolás Alberto Monzón, a Maestría student — a research degree between a Master's and a doctorate, the usual entry route to a PhD — at the Universidad de la República (Udelar) and a member of the teaching staff at the Universidad Argentina de la Empresa (UADE). My research focuses on the foundations of programming languages for quantum computing, using lambda calculus, rewriting systems, type theories, category theory, and logic, among other areas.

Maestría student working on the foundations of programming languages for quantum computing. My research focuses on measurement structures and their connections to lambda calculus, type theory, and category theory.

Director: Alejandro Díaz-Caro

Co-director: Alberto Pardo

Research groups:

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

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)