Registered user since Fri 1 Jun 2018
Name:Alejandro Díaz-Caro
Bio:
Advanced Research Position at Inria, within the Mocqua Team (Nancy, France) and Tenured Professor at Universidad Nacional de Quilmes (Buenos Aires, Argentina)
Country:France
Affiliation:INRIA / LORIA & UNQ
Personal website: https://members.loria.fr/ADiazCaro/
X (Twitter): https://x.com/JanusDC
GitHub: https://github.com/JanusDC
Research interests:Quantum computing, lambda calculus, type theory
Contributions
POPL 2025-profile
View general profile
View general profile