Alejandro Díaz-Caro
PhD Student
Calculi, Algorithms, Programs, Proofs
Laboratoire d'Informatique de Grenoble

Phone: +33.4.76.63.56.51
Fax: +33.4.76.63.55.52
Mobile: +33.6.30.17.05.01
Email:(((((λx₁x₂x₃x₄x₅ x₂.x₁-x₃@x₅.x₄) Diaz) Alejandro) Caro) fr) imag^†
Wave: You can leave a message in my public wave
GPG Key: D01140C8C89CE498
Mailing address:
   Laboratoire LIG
   Bureau C106
   220, rue de la Chimie
   38400 Saint Martin d'Hères
   France
^†Please normalise before sending.

About me

I have been a PhD student since October 2008 at Université de Grenoble. I am in the Quantum Computation activities of the CAPP group at Laboratoire d'Informatique de Grenoble. I work under the supervision of Pablo Arrighi and I am researching on type theory and quantum logics.

Before comming to Grenoble, I obtained the title of «Licenciatura» in Computer Science (December 21th, 2007) at Universidad Nacional de Rosario, Argentina. It is a five-year degree with thesis, equivalent to a Master degree in the EU system.

I am part of the GdR Informatique Mathematique and its working groups IQ (Informatique quantique) and GEOCAL (Géométrie du calcul). I also participate in the PEPS project QuAND (Aspects quantitatifs du non-déterminisme).

Research interests

• Quantum computing
• Type theory
• Rewriting systems
• Logics

Teaching

• 2010 Teaching assistant (french "TD") in «INF122B: Compléments mathématiques et introduction à la logique et la preuve formelle» - Université Joseph Fourier, Grenoble, France
• 2009 Professor of theory and practice (french "TD" + "CM") in «MA512: Théorie des graphes» - Grenoble INP ESISAR, Valence, France
• 2008 Teaching assistant (argentinean "ayudante de primera") in «Algebra y Geometía Analítica I» and «Análisis Matemático I» - Escuela de Formación Básica - FCEIA Universidad Nacional de Rosario, Rosario, Argentina
• 2007 Teaching assistant (argentinean "ayudante de segunda") in «Análisis Matemático IV» - Departamento de Ciencias de la Computación - FCEIA Universidad Nacional de Rosario, Rosario, Argentina

Publications

Submitted

• P. Arrighi and A. Díaz-Caro. A System F accounting for scalars. Preprint. 2009. (Submitted for publication).
  arXiv:0903.3741 | BiBTeX | Slides (printable).

International Workshops

• A. Díaz-Caro, S. Perdrix, C. Tasson and B. Valiron. Equivalence of algebraic λ-calculi. In Proceedings of the 5th International Workshop on Higher-Order Rewriting, pp. 6-11, Edinburgh, UK, 2010.
  Online proceedings | arXiv:1005.2897 (full-proofs paper) | BiBTeX | Slides
• P. Arrighi and A. Díaz-Caro. Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic. In Proceedings of the 6th International Workshop on Quantum Physics and Logic, pp. 206-215, Oxford, UK, 2009. (To appear in ENTCS).
  arXiv:0903.3741v1 | BiBTeX | Slides (printable).
• A. Díaz-Caro, P. Arrighi, M. Gadella and J. Grattage. Measurements and confluence in quantum lambda calculi with explicit qubits. In Proceedings of the 5th International Workshop on Quantum Physics and Logic and 4th International Workshop on Development of Computational Models, pp. 54-68, Reykjavik, Iceland, 2008. (To appear in ENTCS).
  arXiv:0806.2447 | BiBTeX.

Master's Thesis

• A. Díaz-Caro. Adding Measurement to van Tonder's Calculus. Master's Thesis, Universidad Nacional de Rosario, Argentina, Dec. 2007.
  Director: Manuel Gadella (Manolo) | Co-Director: Pablo Martínez López. (Fidel)
  Spanish slides (printable version) | English version presented at QCG | Spanish Report | BiBTeX

Technical Report

• A. Díaz-Caro and M. Gadella. A Discussion on the Teleportation Protocol for States of N Qubits. Technical Report SECYT-FCEIA, RT-ID 05/02, Universidad Nacional de Rosario, 2005.
  arXiv:quant-ph/0505009 | BiBTeX
  

Local Workshop

• A. Díaz-Caro. Generalización del Algoritmo Cuántico de Teleportación. In J. Aguirre, editor, Anales del VII Workshop de Investigadores en Ciencias de la Computación, pp. 1-5, Río IV, Argentina, 2005.
  Proceedings online | BiBTeX