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
Contributions
| PLanQC 2020 | Runtime Analysis of Quantum Programs: A Formal Approach | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2020-profile
View general profile
View general profile