Registered user since Fri 1 Jun 2018
Name: Alejandro Díaz-Caro
Bio: Tenured Researcher at CONICET in the ICC (FCEyN-Universidad de Buenos Aires) and Tenured Assistant Professor at Universidad Nacional de Quilmes.
Country: Argentina
Affiliation: ICC (UBA-CONICET) & UNQ
Personal website: https://www-2.dc.uba.ar/staff/adiazcaro/
Research interests: Quantum computing, lambda calculus, type theory
Contributions
| PLanQC 2020 | Author of Runtime Analysis of Quantum Programs: A Formal Approach within the PLanQC-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile