Write a Blog >>
Alejandro Díaz-Caro

Registered user since Fri 1 Jun 2018

Name: Alejandro Díaz-Caro

Bio: Tenured Researcher at Instituto de Ciencias de la Computación (CONICET / Universidad de Buenos Aires) and Tenured Professor at Universidad Nacional de Quilmes.

Country: Argentina

Affiliation: ICC (UBA-CONICET) & UNQ

Personal website: https://staff.dc.uba.ar/adiazcaro/

Research interests: Quantum computing, lambda calculus, type theory


PLanQC 2020Author of Runtime Analysis of Quantum Programs: A Formal Approach within the PLanQC-track
Show activities from other conferences

POPL 2020-profile
View general profile