My Photo

CONICET

Universidad Nacional de Quilmes
Contact information:

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

Address:
Departamento de Ciencia y Tecnología
Universidad Nacional de Quilmes
Roque Sáenz Peña 352
B1876BXD Bernal, Buenos Aires
Argentina
Office: 77
Phone:
+54 11 4365-7100 # 5653










Alejandro Díaz-Caro
Profesor Adjunto (D.E.)
Departamento de Ciencia y Tecnología
Universidad Nacional de Quilmes
Investigador Asistente
CONICET

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

I am "Investigador Asistente" (Tenured Researcher / Charché de Recherche) at CONICET, since mid 2016, and "Profesor Adjunto con Dedicación Exclusiva" (Tenured Assistant Professor / Maître de Conférences) at Universidad Nacional de Quilmes, since 2014. I belong to the Departamento de Ciencia y Tecnología. I am part of the LoReL team, and also integrate the Logics and Dynamics of Programming Languages team of the Laboratoire International Associé INFINIS.

From January to July 2016 I was a visiting researcher at Universià degli Studi di Torino in the Dipartamento di Informatica, funded by the World Wide Style Project.

From October 2012 to August 2014 I had a non-tenured teaching and research position (ATER) at Université Paris Ouest Nanterre La Défense, in the Département de Mathématique et d'Informatique and I was an associated member of the Deducteam team at INRIA Paris-Rocquencourt.

Before that, I did a postdoc from October 2011 to September 2012 at Université Paris 13, the LIPN laboratory, within the LCR team.

Even before that, between October 2008 and September 2011, I prepared my PhD 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. The thesis defense happened on September 23, 2011. You can download my thesis “Du typage vectoriel”, as well as the slides used during the presentation, and even a video, in the publications section bellow.

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

Grants

Drafts and submitted papers

  • Typing quantum superpositions and projective measurements
    A. Díaz-Caro and G. Dowek - arXiv:1601.04294 - 2016
  • The vectorial λ-calculus
    P. Arrighi, A. Díaz-Caro, and B. Valiron - Considered for publication in I&C - arXiv:1308.1138 - 2015
  • Simply typed lambda-calculus modulo type isomorphisms
    A. Díaz-Caro and G. Dowek 2015 - hal-01109104 - 2015

Published (or to appear) papers

  • Affine computation and affine automaton
    A. Díaz-Caro and A. Yakaryılmaz - (CSR 2016) - LNCS 9691:146-160, 2016.
  • Isomorphisms considered as equalities
    Projecting functions and enhancing partial application through an implementation of λ⁺

    A. Díaz-Caro and P. E. Martínez López - (IFL 2015) - ACM Proceedings of IFL'15(9), 2015.
  • 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 - Logical Methods in Computer Science 10(4:8), 2014.
  • 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

2016s2

[UNSL]
  • Fundamentos de Lenguajes de Programación para Computación Cuántica - Curso de 25hs en la Escuela de Informática del CACIC'16.
[UNQ]
  • Características de Lenguajes de Programación - Licenciatura en Informática.
  • Matemática II - Licenciatura en Informática.
  • Matemática III - Licenciatura en Informática.
[UNR]
  • Introducción a la Computación Cuántica y Fundamentos de Lenguajes de Programación - Licenciatura en Ciencias de la Computación (materia optativa).

Previous teachings

[UNQ]
  • Probabilidad y Estadística aplicada a la Bioinformática - Maestría en Bioinformática y Biología de Sistemas. (2015)
  • Matemática III - Licenciatura en Informática. (2015)
  • Matemática II - Licenciatura en n Informática. (2015)
  • Lenguajes Formales y Autómatas - Licenciatura en Informática. (2015)
  • Características de Lenguajes de Programación - Licenciatura en Informática. (2014 & 2015)
[UNRC]
[UNNOBA]
  • Probabilidad y Estadística aplicada a la Bioinformática - Maestría en Bioinformática y Biología de Sistemas. (2014-2015)
[UPOND]
  • 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).
[ESISAR]
  • 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)
[UJF]
  • INF122B: Compléments mathématiques et introduction à la logique et la preuve formelle - TD - L1 Informatique. (2010).
[UNR]
  • 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).