Sobre el grupo
LoReL (Logic and Rewriting for Programming Languages) es un equipo de investigación con sede en la Universidad Nacional de Quilmes (UNQ) y el ICC (UBA/CONICET). Investiga reescritura y cálculo lambda, teoría de tipos y métodos lógicos, con foco en su aplicación a lenguajes de programación, tanto para computación clásica como cuántica.
El equipo es liderado por Pablo Barenbaum e incluye miembros permanentes como Pablo E. Martínez López y Hernán Melgratti, junto con cinco estudiantes de doctorado y cuatro de licenciatura. Mantiene una extensa red de colaboración internacional, con investigadores visitantes y proyectos conjuntos con instituciones de Francia, Uruguay, Brasil y Chile.
Las líneas cubren cálculo lambda y sistemas de reescritura, sistemas de tipos (intersección, dependientes, lineales), cálculos cuánticos con estructuras de control, lógica lineal y teoría de la prueba, y semántica de lenguajes de programación. El grupo publica regularmente en venues de primer nivel: FSCD, LICS, APLAS, ECOOP, FORTE, WoLLIC, MSCS y TCS. Participa de la red europea QCOMICAL (Marie Sklodowska-Curie, 2024-2028) y del IRP SINFIN.
Líneas de investigación (5)
Cálculo lambda y sistemas de reescritura
Estrategias de reducción, propiedades de normalización, sistemas de reescritura de términos, sustituciones explícitas y semántica operacional.
Teoría de tipos
Tipos intersección (idempotentes y no idempotentes), tipos dependientes y verificación de programas basada en tipos, sistemas de tipos lineales.
Computación cuántica
Cálculos lambda cuánticos con estructuras de control, representaciones de matrices de densidad, sistemas de tipos para programas cuánticos, autómatas cuánticos.
Métodos lógicos
Lógica lineal y teoría de la prueba, sistemas de deducción natural, lógica de justificación y realizabilidad, lógicas modales y de separación.
Semántica de lenguajes de programación
Estrategias call-by-value, call-by-name y call-by-need; máquinas abstractas y su corrección; tipos de sesión y análisis comportamental.
Proyectos (5)
-
QCOMICAL: Quantum Computing and Its Calculi
Marie Sklodowska-Curie Action 'Staff Exchanges' con 12 instituciones participantes.
💰 European Union (MSCA) 📅 2024-2028 -
PICT (Holik, Díaz-Caro)
Proyecto ANPCyT con foco en información cuántica.
💰 ANPCyT (PICT) 📅 2021-2023 -
PIP-CONICET (Díaz-Caro / Jaskelioff)
Proyecto CONICET en lambda-calculus cuántico y teoría de tipos.
💰 CONICET 📅 2021-2023 -
STIC-AmSud 21STIC10 'Qapla'
Cooperación entre LoReL y grupos de Chile, Uruguay y Francia.
💰 STIC-AmSud 📅 2021-2022 -
IRP SINFIN
Laboratorio internacional asociado con CNRS/Francia.
💰 CNRS / CONICET
Publicaciones destacadas (7)
-
A. Díaz-Caro, G. DowekMathematical Structures in Computer Science (2024)
-
A. Díaz-Caro, G. Dowek, M. Ivnisky, O. MalherbeWoLLIC 2024 (2024)
-
A. Díaz-Caro, M. VillagraThe Computer Journal (2024)
-
A concrete model for a typed linear algebraic lambda calculusA. Díaz-Caro, O. MalherbeMathematical Structures in Computer Science (2023)
-
B. Accattoli, P. BarenbaumAPLAS 2023 (2023)
-
R. Kuhn, H. C. Melgratti, E. TuostoECOOP 2023 (2023)
-
P. Barenbaum, C. SottileFSCD 2023 (2023)
Investigadores (17)
