My Photo

Université Paris Ouest Nanterre La Défense
INRIA

Email: alejan...@diaz-caro.info (GPG key)
Permanent URL: www.diaz-caro.info

Where to find me:

At Nanterre
Université Paris Ouest Nanterre La Défense
200 avenue de la République
92001 Nanterre
Office: E-08 - Bâtiment G
Phone: +33.(0)1.40.97.49.47

At INRIA
Inria - 23 avenue d'Italie - 75013 Paris
Office: 5-03
Phone: +33.(0)1.39.63.52.66



QR vCard



Alejandro Díaz-Caro
Temporary teaching and research fellow (ATER)
Université Paris-Ouest Nanterre La Défense
& INRIA Paris-Rocquencourt


Keywords: Type theory, Rewriting systems, Logic, Quantum computing

Since October 2012 and until August 2014 I have a temporary teaching and research position (ATER) at Université Paris Ouest Nanterre La Défense, in the Département de Mathématique et d'Informatique, within the Modal'X team.
In addition, I am also member of the Deducteam team at INRIA Paris-Rocquencourt.

Before that, I did a postdoc in 2011-2012 at Université Paris 13, the LIPN laboratory, within the LCR team.

Even before that, between October 2008 to September 2011 I prepared my thesis within the CAPP team at the LIG Laboratory of the Université de Grenoble, with Pablo Arrighi as advisor and Frédéric Prost as co-advisor. You can download my thesis “Du typage vectoriel” in the publications section bellow.

In the pre-history I graduated in Computer Science from the Universidad Nacional de Rosario, Argentina in December 2007

Drafts

  • Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
    A. Assaf, A. Díaz-Caro, S. Perdrix, C. Tasson, and B. Valiron - arXiv:1005.2897
  • Simply typed lambda-calculus modulo type isomorphisms
    A. Díaz-Caro and G. Dowek
  • The vectorial lambda-calculus
    P. Arrighi, A. Díaz-Caro, and B. Valiron - arXiv:1308.1138

Publications

  • The probability of non-confluent systems
    A. Díaz-Caro and G. Dowek - (DCM 2013) - EPTCS 144:1-15, 2014.
  • Call-by-value non-determinism in a linear logic type discipline
    A. Díaz-Caro, G. Manzonetto, and M. Pagani - (LFCS 2013) - LNCS 7734:164-178, 2013.
  • Non determinism through type isomorphism
    A. Díaz-Caro and G. Dowek - (LSFA 2012) - EPTCS 113:137-144, 2013.
  • Linearity in the non-deterministic call-by-value setting
    A. Díaz-Caro and B. Petit - (WoLLIC 2012) - LNCS 7456:216-231, 2012.
  • A System F accounting for scalars
    P. Arrighi and A. Díaz-Caro - Logical Methods in Computer Science 8(1:11), 2012
  • Confluence via strong normalisation in an algebraic λ-calculus with rewriting
    P. Buiras, A. Díaz-Caro, and M. Jaskelioff - (LSFA 2011) - EPTCS 81:16-29, 2012.
  • A type system for the vectorial aspect of the linear-algebraic lambda-calculus
    P. Arrighi, A. Díaz-Caro, and B. Valiron - (DCM 2011) - EPTCS 88:1-15, 2012.
  • Equivalence of algebraic λ-calculi - work-in-progress
    A. Díaz-Caro, S. Perdrix, C. Tasson, and B. Valiron - HOR 2010, Pre-proceedings, pp.6-11, Edinburgh, UK, July 14, 2010
  • Scalar System F for linear-algebraic λ-calculus: Towards a quantum physical logic
    P. Arrighi and A. Díaz-Caro - (QPL 2009) - ENTCS 270(2):219-229, 2011.
  • Measurements and confluence in quantum lambda calculi with explicit qubits
    P. Arrighi , A. Díaz-Caro, M. Gadella, and J. J. Grattage - (QPL/DCM 2008) - ENTCS 270(1):59-74, 2011.

PhD Thesis

  • Du typage vectoriel
    A. Díaz-Caro. Advisor: P. Arrighi. Co-advisor: F. Prost - Université de Grenoble, France, Sep. 23, 2011
Master's thesis
  • Agregando medición al cálculo de van Tonder
    A. Díaz-Caro. Advisors M. Gadella and P. E. Martínez-López - Universidad Nacional de Rosario, Argentina, Dec. 21, 2007

2012, 2013 and 2014 teachings

Université Paris Ouest Nanterre La Défense, Nanterre, France - ATER

  • Probabilités - TD - L2 Économie et gestion. (2014).
  • Statistiques et probabilités - TD - L2 Économie et droit. (2013 & 2014).
  • Méthodologie de la mesure en sciences humaines - TD - L1 Psychologie. (2013 & 2014).
  • Mathématiques 2 - TD - L1 Économie et gestion. (2013 & 2014).
  • Mathématiques 1: Calcul et fonctions - TD - L1 Économie et droit. (2012 & 2013).
  • Mathématiques 1 - TD - L1 Économie et gestion. (2012).

Previous teachings

Grenoble INP-ESISAR, Valence, France - Vacataire

  • MA554: Calculabilité et complexité - TD+CM - Cycle Ingénieur - 5e année - Informatique et Réseau. (2010).
  • MA512: Théorie des graphes - TD+CM - Cycle Ingénieur - 5e année - Électronique, Informatique, Systèmes. (2009)

Université Joseph Fourier, Grenoble, France - Vacataire

  • INF122B: Compléments mathématiques et introduction à la logique et la preuve formelle - TD - L1 Informatique. (2010).

Universidad Nacional de Rosario, Rosario, Argentina - Ayudante de cátedra

  • Algebra y Geometría Analítica I - Ayudante de 1ra - Escuela de Formación Básica. (2008).
  • Análisis Matemático I - Ayudante de 1ra - Escuela de Formación Básica. (2008).
  • Análisis Matemático IV - Ayudante de 2da - Departamento de Ciencias de la Computación. (2007).