I am "Investigador Asistente" (Tenured Researcher / Charché de Recherche) at CONICET in the ICC (FCEN-Universidad de Buenos Aires) and "Profesor Adjunto" (Tenured Assistant Professor / Maître de Conférences) at Universidad Nacional de Quilmes.

I am part of the LoReL team, and also of the LDPL 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 Dipartimento 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

• ECOS-Sud A17C03 QuCa - 01/2018 - 12/2020 (hide)
  
  Quantum Calculi
  Funded by MinCyT and ECOS France
  Argentine Director: A. Díaz-Caro (UNQ/CONICET)
  French Director: G. Dowek (Inria, LSV, ENS Paris-Saclay)
  Permanent members:
  P. Arrighi (Aix-Marseille) - J.-Y. Marion (LORIA) - P. E. Martínez López (UNQ) - S. Perdrix (CNRS/LORIA) - B. Valiron (CentraleSupélec)
  Non permanent members (Postdoc, PhD students and Masters students):
  S. Facchini - T. Gaubault de Brugière - I. Marquez - R. Vilmart - A. Borgna - I. Grima - M. Ivnisky - F. Noriega - J. P. Rinaldi - A. Rodas - L. Romero - F. Sawady - D. Zonneveld
  
  
• PICT-2015-1208 - 03/2017 - 03/2020 (hide)
  
  Fundamentos de lenguajes de programación cuántica: hacia una lógica computacional
  Funded by Agencia Nacional de Promoción Científica y Tecnológica
  Director: A. Díaz-Caro
  
  
• PUNQ 1425/15 & 1370/17 - 05/2015 - 04/2019 (hide)
  
  Fundamentos de lenguajes de programación cuánticos y sus consecuencias en sistemas clásicos
  Funded by Universidad Nacional de Quilmes
  Director: A. Díaz-Caro. Co-director: P. E. Martínez López
  
• 16STIC05 FoQCoSS - 01/2016 - 12/2017 (hide)
  
  Foundations of Quantum Computation: Syntax and Semantics
  Funded by CAPES, MinCyT, Inria and MAEDI
  Argentinean coordinator: A. Díaz-Caro (UNQ/CONICET)
  Brazilian coordinator: J. Kaizer Vizzotto (UFSM)
  French coordinators: G. Dowek (Inria, LSV, ENS Paris-Saclay) - S. Perdrix (CNRS/LORIA) - P. Arrighi (Aix-Marseille) - B. Valiron (CentraleSupélec)
  Other participants: S. Facchini - S. Martiel - J. C. Puiati - G. Senno - R. Vilmart
  
  

Publications

International peer-reviewed papers

• Typing quantum superpositions and measurement
  A. Díaz-Caro and G. Dowek - (TPNC 2017) - LNCS 10687:281-293, 2017.
  [ arXiv | LNCS | Poster (APLAS'17) | slides ] doi:10.1007/978-3-319-71069-3_22
  BibTeX (hide)
  

  @InProceedings{DiazcaroDowekTPNC17,
      author = "D{\'\i}az-Caro, Alejandro and Dowek, Gilles",
      title = "Typing quantum superpositions and measurement",
      booktitle = "Theory and Practice of Natural Computing (TPNC 2017)",
      editor = "Carlos Mart{\'\i}n-Vide and Roman Neruda and Miguel A. Vega-Rodr{\'\i}guez",
      series = "Lecture Notes in Computer Science",
      publisher = "Springer, Cham",
      pages = "281--293",
      volume = "10687",
      year = "2017"
  }

• A lambda calculus for density matrices with classical and probabilistic controls
  A. Díaz-Caro - (APLAS 2017) - LNCS 10695:448-467, 2017.
  [ arXiv | LNCS | slides ] doi:10.1007/978-3-319-71237-6_22
  BibTeX (hide)
  

  @InProceedings{DiazcaroAPLAS17,
      author = "Alejandro D{\'\i}az-Caro",
      title = "A lambda calculus for density matrices with classical and probabilistic controls",
      booktitle = "Programming Languages and Systems (APLAS 2017)",
      editor = "Bor-Yuh Evan Chang",
      series = "Lecture Notes in Computer Science",
      publisher = "Springer, Cham",
      pages = "448--467",
      volume = "10695",
      year = "2017"
  }

• Confluence in probabilistic rewriting
  A. Díaz-Caro and G. Martínez - (LSFA 2017) - Accepted in postproceedings at ENTCS, 2017.
  [ arXiv ]
  BibTeX (hide)
  

  @Misc{DiazcaroMartinezLSFA17,
      author = "Alejandro D{\'\i}az-Caro and Guido Mart{\'\i}nez",
      title = "Confluence in probabilistic rewriting",
      year = "2017",
      howpublished = "Preproceedings of LSFA 2017. To appear in ENTCS. Preprint at {\tt arXiv:1708.03536}."
  }

• The vectorial λ-calculus
  P. Arrighi, A. Díaz-Caro, and B. Valiron - Information and computation 254(1):105-139, 2017.
  [ arXiv | IC ] doi:10.1016/j.ic.2017.04.001
  BibTeX (hide)
  

  @Article{ArrighiDiazcaroValironIC17,
      author = "Pablo Arrighi and Alejandro D{\'\i}az-Caro and Beno\^it Valiron",
      title = "The Vectorial Lambda-Calculus",
      journal = "Information and Computation",
      volume = "254",
      number= "1",
      pages= "105--139",
      year = "2017"
  }

• Retractions in intersection types
  M. Coppo, M. Dezani-Ciancaglini, A. Díaz-Caro, I. Margaria and M. Zacchi - (ITRS 2016) - EPTCS 242:31-47, 2017.
  [ EPTCS ] doi:10.4204/EPTCS.242.5
  BibTeX (hide)
  

  @InProceedings{CoppoDezaniciancagliniDiazcaroMargariaZacchiITRS16,
      author = "Mario Coppo and Mariangiola Dezani-Ciancaglini and Alejandro D\'{\i}az-Caro and Ines Margaria and Maddalena Zacchi",
      title = "Retractions in intersection types",
      pages = "31--47",
      year = "2017",
      editor = "Naoki Kobayashi",
      booktitle = "Proceedings Eighth Workshop on Intersection Types and Related Systems",
      series = "Electronic Proceedings in Theoretical Computer Science",
      volume = "242",
      publisher = "Open Publishing Association"
  }

• Affine computation and affine automaton
  A. Díaz-Caro and A. Yakaryılmaz - (CSR 2016) - LNCS 9691:146-160, 2016.
  [ arXiv | LNCS | slides ] doi:10.1007/978-3-319-34171-2_11
  BibTeX (hide)
  

  @InProceedings{DiazcaroYakaryilmazCSR16,
      author = "Alejandro D\'iaz-Caro and Abuzer Yakary\ilmaz ",
      title = "Affine computation and affine automaton",
      booktitle = "Computer Science -- Theory and Applications: 11th International Computer Science Symposium in Russia (CSR 2016)",
      editor = "Alexander Kulikov and Gerhard Woeginger",
      series = "Lecture Notes in Computer Science",
      publisher = "Springer, Cham",
      pages = "146--160",
      volume = "9691",
      year = "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.
  [ arXiv | ACM (free download) | prototipe ] doi:10.1145/2897336.2897346
  BibTeX (hide)
  

  @InProceedings{DiazcaroMartinezlopezIFL15,
      author = "D\'iaz-Caro, Alejandro and Mart\'inez L\'opez, Pablo E.",
      title = "Isomorphisms considered as equalities: Projecting functions and enhancing partial application through an implementation of $\lambda^+$",
      booktitle = "Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages",
      series = "IFL '15",
      publisher = "ACM",
      pages = "9:1--9:11",
      articleno = "9",
      year = "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.
  [ LMCS ] doi:10.2168/LMCS-10(4:8)2014
  BibTeX (hide)
  

  @Article{AssafDiazcaroPerdrixTassonValironLMCS14,
      author = "Ali Assaf and Alejandro D{\'\i}az-Caro and Simon Perdrix and Christine Tasson and Beno{\^\i}t Valiron",
      title = "Call-by-value, call-by-name and the vectorial behaviour of the algebraic $\lambda$-calculus",
      journal = "Logical Methods in Computer Science",
      volume = "10",
      number = "4:8",
      year = "2014"
  }

• The probability of non-confluent systems
  A. Díaz-Caro and G. Dowek - (DCM 2013) - EPTCS 144:1-15, 2014.
  [ EPTCS | slides ] doi:10.4204/EPTCS.144.1
  BibTeX (hide)
  

  @InProceedings{DiazcaroDowekDCM13,
      author = "Alejandro D{\'\i}az-Caro and Gilles Dowek",
      title = "The probability of non-confluent systems",
      pages = "1--15",
      year = "2014",
      editor = "Mauricio Ayala-Rincón and Eduardo Bonelli and Ian Mackie",
      booktitle = "Proceedings of the 9th International Workshop on Developments in Computational Models",
      series = "Electronic Proceedings in Theoretical Computer Science",
      volume = "144",
      publisher = "Open Publishing Association"
  }

• 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.
  [ HAL | LNCS | slides ] doi:10.1007/978-3-642-35722-0_12
  BibTeX (hide)
  

  @InProceedings{DiazcaroManzonettoPaganiLFCS13,
      author = "Alejandro D{\'\i}az-Caro and Giulio Manzonetto and Michele Pagani",
      title = "Call-by-value non-determinism in a linear logic type discipline",
      booktitle = "Logical Foundations of Computer Science, International Symposium, (LFCS 2013)",
      editor = "Sergei Artemov and Anil Nerode",
      series = "Lecture Notes in Computer Science",
      publisher = "Springer, Berlin, Heidelberg",
      pages = "164--178",
      volume = "7734",
      year = "2013"
  }

• Non determinism through type isomorphism
  A. Díaz-Caro and G. Dowek - (LSFA 2012) - EPTCS 113:137-144, 2013.
  [ EPTCS | slides ] doi:10.4204/EPTCS.113.13
  BibTeX (hide)
  

  @InProceedings{DiazcaroDowekLSFA12,
      author = "Alejandro D{\'\i}az-Caro and Gilles Dowek",
      title = "Non determinism through type isomorphism",
      pages = "137--144",
      year = "2013",
      editor = "Delia Kesner and Petrucio Viana",
      booktitle = "Proceedings of the 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012)",
      series = "Electronic Proceedings in Theoretical Computer Science",
      volume = "113",
      publisher = "Open Publishing Association"
  }

• A System F accounting for scalars
  P. Arrighi and A. Díaz-Caro - Logical Methods in Computer Science 8(1:11), 2012
  [ LMCS | slides ] doi:10.2168/LMCS-8(1:11)2012
  BibTeX (hide)
  

  @Article{ArrighiDiazcaroLMCS12,
      author = "Pablo Arrighi and Alejandro D{\'\i}az-Caro",
      title = "A {S}ystem {F} accounting for scalars",
      journal = "Logical Methods in Computer Science",
      volume = "8",
      number = "1:11",
      year = "2012"
  }

• Linearity in the non-deterministic call-by-value setting
  A. Díaz-Caro and B. Petit - (WoLLIC 2012) - LNCS 7456:216-231, 2012.
  [ arXiv | LNCS | slides ] doi:10.1007/978-3-642-32621-9_16
  BibTeX (hide)
  

  @InProceedings{DiazcaroPetitWoLLIC12,
      author = "Alejandro D{\'\i}az-Caro and Barbara Petit",
      title = "Linearity in the non-deterministic call-by-value setting",
      booktitle = "Logic, Language, Information and Computation",
      editor = "Luke Ong and Ruy {de Queiroz}",
      series = "Lecture Notes in Computer Science",
      publisher = "Springer, Berlin, Heidelberg",
      pages = "216--231",
      volume = "7456",
      year = "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.
  [ EPTCS | slides (QuAND) ] doi:10.4204/EPTCS.81.2
  BibTeX (hide)
  

  @InProceedings{BuirasDiazcaroJaskelioffLSFA11,
      author = "Pablo Buiras and Alejandro D{\'\i}az-Caro and Mauro Jaskelioff",
      title = "Confluence via strong normalisation in an algebraic $\lambda$-calculus with rewriting",
      pages = "16--29",
      year = "2012",
      editor = "Simona {Ronchi della Rocca} and Elaine Pimentel",
      booktitle = "Proceedings of the 6th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2011)",
      series = "Electronic Proceedings in Theoretical Computer Science",
      volume = "81",
      publisher = "Open Publishing Association"
  }

• 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.
  [ EPTCS | COQ proof advertised in the paper | slides ] doi:10.4204/EPTCS.88.1
  BibTeX (hide)
  

  @InProceedings{ArrighiDiazcaroValironDCM11,
      author = "Pablo Arrighi and Alejandro D{\'\i}az-Caro and Beno{\^\i}t Valiron",
      title = "A type system for the vectorial aspects of the linear-algebraic lambda-calculus",
      pages = "1--15",
      year = "2012",
      editor = "Elham Kashefi and Jean Krivine and Femke van Raamsdonk",
      booktitle = "Proceedings of the 7th International Workshop on Developments of Computational Methods (DCM 2011)",
      series = "Electronic Proceedings in Theoretical Computer Science",
      volume = "88",
      publisher = "Open Publishing Association"
  }

• 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
  [ arXiv | slides | HOR 2010 site ] doi:10.13140/RG.2.1.2528.4961
  BibTeX (hide)
  

  @InProceedings{DiazcaroPerdrixTassonValironHOR10,
      author = "Alejandro D{\'\i}az-Caro and Simon Perdrix and Christine Tasson and Beno{\^\i}t Valiron",
      title = "Equivalence of Algebraic $\lambda$-calculi",
      booktitle = "Informal proceedings of {HOR}-2010",
      pages = "6--11",
      year = "2010",
      address = "Edinburgh, UK",
      month = jul # {~14,},
  }

• 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.
  [ arXiv | ENTCS | slides ] doi:10.1016/j.entcs.2011.01.033
  BibTeX (hide)
  

  @InProceedings{ArrighiDiazcaroQPL09,
      author = "Pablo Arrighi and Alejandro D{\'\i}az-Caro",
      title = "Scalar {S}ystem {F} for Linear-Algebraic $\lambda$-Calculus: Towards a Quantum Physical Logic",
      pages = "206--215",
      year = "2011",
      editor = "Bob Coecke and Prakash Panangaden and Peter Selinger",
      booktitle = "Proceedings of the 6th International Workshop on Quantum Physics and Logic ({QPL} 2009)",
      series = "Electronic Notes in Theoretical Computer Science",
      volume = "270/2",
      publisher = "Elsevier"
  }

• 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.
  [ arXiv | ENTCS ] doi:10.1016/j.entcs.2011.01.006
  BibTeX (hide)
  

  @InProceedings{DiazcaroArrighiGadellaGrattageQPLDCM08,
      author = "Pablo Arrighi and Alejandro D{\'\i}az-Caro and Manuel Gadella and Jonathan J. Grattage",
      title = "Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits",
      pages = "59--74",
      year = "2011",
      editor = "Bob Coecke and Ian Mackie and Prakash Panangaden and Peter Selinger",
      booktitle = "Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models ({QPL/DCM} 2008)",
      series = "Electronic Notes in Theoretical Computer Science",
      volume = "270/1",
      publisher = "Elsevier"
  }

Theses

• PhD Thesis: Du typage vectoriel
  A. Díaz-Caro. Advisor: P. Arrighi. Co-advisor: F. Prost - Université de Grenoble, France, Sep. 23, 2011
  [ pdf | slides | video (only the dissertation part) | TEL ]
  BibTeX (hide)
  

  @phdthesis{Diazcaro11,
      author = "Alejandro D{\'\i}az-Caro",
      title = "Du typage vectoriel",
      school = "Universit\'e de Grenoble",
      year = "2011",
      address = "France",
      month = sep # {~23,},
  }

• 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
  [ pdf | slides ]
  BibTeX (hide)
  

  @mastersthesis{Diazcaro07,
      author = "Alejandro D{\'\i}az-Caro",
      title = "Agregando medici\'on al c\'alculo de van Tonder",
      school = "Universidad Nacional de Rosario",
      year = "2007",
      address = "Argentina",
      month = dec # {~21,},
  }

Science popularisation

• ¿Qué es la computación cuántica?
  A. Díaz-Caro - Ciencia Hoy 150:40-44, 2016
  [ Ciencia Hoy ] ISSN: 0327-1218
• Tras las huellas de la computación cuántica
  A. Díaz-Caro - Ensemble 9: Dossier Temático "Vidas y proyectos de jóvenes científicos argentinos", 2012
  [ PDF | Dossier ] ISSN: 1852-5911

Submitted papers and drafts

• Two linearities for quantum computing in the lambda calculus
  A. Díaz-Caro, G. Dowek, and J. P. Rinaldi - arXiv:1601.04294v7 - 2018 (extended version of DiazcaroDowekTPNC17).
  [ arXiv | Slides at CVQT'18]
  BibTeX (hide)
  

  @Misc{DiazcaroDowekRinaldi18,
      author = "Alejandro D\'{\i}az-Caro and Gilles Dowek and {Juan Pablo} Rinaldi",
      title = "Two linearities for quantum computing in the lambda calculus",
      year = "2018",
      howpublished = "Draft at {\tt arXiv:1601.04294v7}"
  }

• Simply typed lambda-calculus modulo type isomorphisms
  A. Díaz-Caro and G. Dowek - hal-01109104 - 2016
  [ HAL (Draft) | Slides at TYPES'14 ]
  BibTeX (hide)
  

  @Misc{DiazcaroDowek16,
      author = "Alejandro D{\'\i}az-Caro and Gilles Dowek",
      title = "Simply typed lambda-calculus modulo type isomorphisms",
      year = "2016",
      howpublished = "Draft at https://hal.inria.fr/hal-01109104"
  }

While I do not have funds to hire a PhD student at this moment, I am constantly in the search of good students wanting to pursue a PhD at Buenos Aires in order to apply for a CONICET or CIC scholarship. Please, contact me if you are interested.

Current students

• Agustin Borgna. Licenciatura thesis at UBA (DC-FCEN).
• Ignacio Grima. Licenciatura thesis at UNR (DCC-FCEIA). Co-supervisor: P. E. Martínez López
• Malena Ivnisky. Licenciatura thesis at UBA (DC-FCEN). Co-supervisor: H. Melgratti
• Francisco Noriega. Licenciatura thesis at UBA (DC-FCEN)
• Juan Pablo Rinaldi. Licenciatura thesis at UNR (DCC-FCEIA).
• Alan Rodas. Licenciatura thesis at UNQ (DCyT). Co-supervisor: P. E. Martínez López.
• Lucas Romero. Licenciatura thesis at UBA (DC-FCEN).
• Federico Sawady. Licenciatura thesis at UNQ (DCyT). Co-supervisor: P. E. Martínez López.

Past students

• Guido Martínez. Licenciatura thesis at UNR (DCC-FCEIA) defended on March 27, 2017.
  Thesis: Confluencia en sistemas de reescritura probabilista.
  Paper to appear at LSFA 2017 (arXiv).
   
• Pablo Buiras. Licenciatura thesis at UNR (DCC-FCEIA) defended on December 26, 2011, co-directed with M. Jaskelioff.
  Thesis: Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores.
  Paper published at LSFA 2011 (EPTCS 81:16-29, 2012).