QuICC Team

QuICC: Quantum Information, Computation, and Communication team, is a research group at ICC (UBA/CONICET). The topics of interest include:

Informational measures of non-classical correlations
Nonlocality
Quantum algorithms
Quantum foundations
Computability and quantum computing
Foundations of quantum programming languages (type theory, category theory, lambda calculus)

Latest publications

A. Díaz-Caro and M. Villagra. Classically time-controlled quantum automata: Definition and properties
The Computer Journal, to appear, 2024.
C. Massri, G. Bellomo, H. Freytes, R. Giuntini, G. Sergioli, and G. M. Bosyk. LOCC convertibility of entangled states in infinite-dimensional systems
New Journal of Physics, 26:063016, 2024.
A. Díaz-Caro, G. Dowek, M. Ivnisky, and O. Malherbe. A linear proof language for second-order intuitionistic linear logic
In Proceedings of WoLLIC 2024, volume 14672 of Lecture Notes in Computer Science, pages 18-35, 2024.
A. Díaz-Caro and G. Dowek. A linear linear lambda-calculus
Mathematical Structures in Computer Science, First View, pages 1-35, 2024.
A. Díaz-Caro and O. Malherbe. A concrete model for a typed linear algebraic lambda calculus
Mathematical Structures in Computer Science, 34(1):1-40, 2023.

Upcoming seminar talks

No seminar planed

Past talks

November 7, 2023 Pablo Arrighi and Alejandro Díaz-Caro. Moderator: Ignacio Uman: Café de las Ciencias: computadora cuántica, ¿la computadora definitiva?
November 8, 2023 Pablo Arrighi (LMF, Université Paris-Saclay): ¿Cuál es la diferencia entre el pasado y el futuro? (o "un modelo de juguete con flecha del tiempo demostrable sin hipótesis de pasado"). (hide)

Las leyes de la Física son reversibles en el tiempo: no distinguen, cualitativamente hablando, el pasado del futuro. Sin embargo, sólo podemos ir hacia el futuro. Esta aparente contradicción se conoce como el "problema de la flecha del tiempo". Su resolución actual afirma que el futuro es la dirección del aumento de la entropía. Pero la entropía sólo puede aumentar hacia el futuro si ha sido baja en el pasado, y la baja entropía en el pasado es una suposición muy fuerte, porque los estados de baja entropía son totalmente improbables, no genéricos. No obstante, trabajos recientes de la literatura de Física sugieren que podemos deshacernos de dicha "hipótesis del pasado", en presencia de leyes dinámicas reversibles que presenten expansión. Demostramos que éste es el caso, para un modelo de juguete basado en la reescritura sincrónica de grafos. Consiste en grafos en los que las partículas circulan e interactúan según reglas locales reversibles. Algunas reglas achican o expanden localmente el grafo. Los estados genéricos siempre se expanden; la entropía siempre aumenta, ofreciendo así una explicación local de la flecha del tiempo. Este marco discreto permite desplegar todo el rigor de las técnicas de prueba de las ciencias de la computación.
11hs, sala 1403, Pabellón Cero + Infinito.
August 1st, 2022 Giuseppe Di Molfetta (Aix-Marseille Université, France): Quantum walks based simulations.
November 25, 2020 Gustavo Martin Bosyk (IFLP - CONICET/UNLP, Argentina): Vector de coherencia generalizado: definición y propiedades. (hide)

Uno de los principales problemas de cualquier teoría de recursos cuánticos es la caracterización de las conversiones entre recursos mediante las operaciones libres de la teoría. En esta charla discutiré sobre este problema dentro de la teoría de recursos de la coherencia cuántica. En particular, introduciré una noción de vector de coherencia generalizado para un estado cuántico arbitrario. Mostraré que este vector de coherencia caracteriza completamente las nociones de ser incoherente, así como la de ser máximamente coherente. Además, explotando propiedades del retículo de mayorización, mostraré una condición necesaria para la conversión de estados cuánticos generales mediante operaciones incoherentes. Finalmente, mostraré como obtener una nueva familia de cuantificadores de coherencia basada en el vector de coherencia generalizado.
November 18, 2020 Salvador Venegas-Andraca (Tecnológico de Monterrey, Mexico): Introducción a las caminatas cuánticas. (hide)

En esta plática conversaremos sobre los orígenes computacionales de las caminatas cuánticas, los tipos de caminatas cuánticas empleadas en el desarrollo de algoritmos cuánticos, algunas diferencias importantes entre caminatas aleatorias y caminatas cuánticas para, finalmente, abordar algunos ejemplos de aplicaciones.
November 4, 2020 Gabriel Senno (ICFO, Spain): Amplificación de aleatoriedad en un escenario semi-device-independent. (hide)

En [T. van Himbeeck y S. Pironio, arXiv:1905.09117], los autores presentan un esquema para certificación de aleatoriedad en un escenario del tipo "preparar y medir" con una cota a la energía de los sistemas cuánticos preparados. En esta charla, basándome en lo desarrollado en [M. Kessler y R. Arnon-Friedman, IEEE JSAIT vol. 1, no. 2, pp. 568-584] para el escenario device-independent, voy a presentar un protocolo para certificar amplificación de aleatoriedad de fuentes Santha-Vazirani con el esquema de van Himbeeck y Pironio. Numéricamente, observamos amplificación de aleatoriedad siempre que el bias de la fuente sea menor a 0.49. De esta forma, mejoramos lo conseguido hasta la fecha en el escenario semi-device-independent, ya que los protocolos actuales, basados en quantum random access codes y requiriendo un número mayor de mediciones, sólo toleran un bias menor a 0.18.
October 14, 2020 Federico Holik (Instituto de Física de La Plata/CONICET, Argentina): Aspectos geométricos del problema de estimación de MaxEnt y sus aplicaciones a la teoría de la información cuántica. (hide)
En esta charla revisaremos distintos aspectos geométricos del método de MaxEnt [1,2]. Prestaremos especial atención al caso en el que la información a priori está dada en términos de simetrías, y discutiremos su aplicación al problema de la estimación de estados cuánticos de múltiples qubits [3].
1. F. Holik and A. Plastino, "Quantal effects and MaxEnt", Journal of mathematical physics, Vol. 53, N. 7, 073301, (2012).
2. F. Holik, C. Massri and A. Plastino, "Geometric probability theory and Jaynes's methodology", International Journal of Geometric Methods in Modern Physics, 13 (03), 1650025 (2016).
3. M. Losada, F. Holik, C. Massri and A. Plastino, "Solutions for the MaxEnt problem with symmetry constraints", Quantum Information Processing, Vol. 18, N. 9, 293 (2019).
October 7, 2020 Ignacio Perito (UBA/CONICET, Argentina): Caracterización de las correlaciones no señalizantes a partir de la información mutua. (hide)

La caracterización de las correlaciones admitidas por la naturaleza en términos de principios físicos o informacionales es uno de los principales problemas abiertos en el estudio de la no localidad. En esta charla nos centraremos en escenarios de Bell bipartitos y discutiremos una caracterización del conjunto de las correlaciones no señalizantes en términos de una representación bidimensional que involucra el máximo valor de una funcional de Bell y la información mutua entre las salidas de los dispositivos involucrados. En términos de estas cantidades, estudiaremos los bordes de los distintos subconjuntos de las correlaciones no señalizantes, poniendo especial atención a la frontera entre las correlaciones cuánticas y las post-cuánticas. También mostraremos evidencia numérica que sugiere que, en este contexto, la cota de Tsirelson emerge como una singularidad de la representación sin necesidad de recurrir al formalismo cuántico.
September 30, 2020 Guido Bellomo (UBA/CONICET, Argentina): Teorías de recursos, información cuántica y mayorización. (hide)

Supongamos un escenario de varios agentes, cada uno en su laboratorio y en poder de un subsistema físico. El objetivo es determinar qué estados globales puede adoptar el sistema conjunto una vez prescriptas las operaciones permitidas a los agentes. Este es el marco general que plantean las teorías cuánticas de recursos, un marco muy versátil para el estudio de diversas propiedades como la no localidad y el entrelazamiento, u otros tipos de correlaciones. Estos escenarios también demostraron su poder al permitirnos reinterpretar ciertos aspectos fundamentales de la cuántica. En muchas de estas teorías de recursos, la noción de mayorización, como relación de (pre)orden entre vectores de probabilidad, juega un rol importante. En esta charla voy a introducir aspectos generales de estas áreas de investigación y sus interacciones, para después mencionar algunos resultados más recientes.
September 8, 2020 Ariel Bendersky (UBA/CONICET, Argentina): Secuencias de experimentos de Bell. (hide)

La mecánica cuántica permite correlaciones entre sistemas distantes que superan a las permitidas por la física clásica. Esos correlaciones son habitualmente estudiadas desde un punto de vista estadístico a partir de la probabilidad multipartita condicionada entre las partes involucradas. En esta charla tomamos un enfoque distinto: en lugar de mirar probabilidades, analizaremos la secuencia de resultados que pueden obtenerse y sus propiedades sintácticas.
September 1, 2020 Alejandro Díaz-Caro (UNQ & UBA/CONICET, Argentina): Lenguajes de programación con control cuántico: teoría de tipos, lógica y categorías. (hide)

Dentro de la familia de lenguajes para computación cuántica existen dos approaches bien diferenciados: Por un lado están los lenguajes con "control clásico", que llevan un flujo de control estándar del proceso de cómputo que es el que decide qué operaciones aplicar sobre cuales qubits, recupera el resultado de las mediciones y actúa en consecuencia. Por otro lado están los de "control cuántico", en donde se describe el flujo de control que ocurre en la computadora cuántica en sí, permitiendo describir una superposición en la misma estructura de control y estudiar dispositivos complejos como el quantum switch. En esta charla haré un recuento del área de investigación, y en particular de los fundamentos de lenguajes de programación, que se estudian con extensiones al cálculo lambda, teoría de tipos y sus modelos categóricos.
August 25, 2020 Santiago Figueira (UBA/CONICET, Argentina): Una perspectiva teórico-computacional sobre los fundamentos de la no-localidad. (hide)

La aleatoriedad es una propiedad fundamental de la mecánica cuántica. La no-localidad es un fenómeno (explicado por la mecánica cuántica) por el cual la medición en un sistema puede determinar instantáneamente los resultados de otra medición en otro sistema, distante del primero. Para probar que (tal vez a contramano de nuestra intuición) la naturaleza es no-local se requiere de la aleatoriedad. Pero, ¿de dónde sacamos aleatoriedad? En los laboratorios se usan computadoras que generan números pseudo-aleatorios. ¿Qué pasa cuando en los experimentos de no-localidad reemplazamos la verdadera aleatoriedad por pseudo-aleatoriedad? ¿Podemos todavía concluir que la naturaleza es no-local? ¿O existirán explicaciones alternativas pero locales, consistentes con los datos del experimento? En esta charla, les cuento algunas interacciones interesantes entre la no-localidad y los escenarios de Bell por un lado y la inferencia inductiva y la computabilidad por otro.

Recent and upcoming events

August 12-23, 2024 Alejandro Díaz-Caro will be at Universidad de la República, working with Octavio Malherbe.
July 15-19, 2024 QPL 2024 will be held at Buenos Aires, organised by our team.
July 1-5, 2024 Alejandro Díaz-Caro, Malena Ivnisky, and Rafael Romero will participate as speakers from the 20th Latin American Symposium on Mathematical Logic, at Piriápolis, Uruguay
June 1st, 2024 A Marie Sklodowska-Curie Action "Staff Exchanges" grant has been awarded to several members of the QuICC team, involving 12 participating institutions from Argentina, Uruguay, France, and Italy. The project, called QCOMICAL: Quantum Computing and Its Calculi, is set to start in December 2024 and will run for 4 years.
May 11 to June 9, 2024 Alejandro Díaz-Caro is visiting Université Paris-Saclay, as an invited profesor by CentraleSupélec, to work with Benoît Valiron and Vladimir Zamdzhiev from the Quacs team, and Gilles Dowek from the Deducteam team.

February, 2024 Alejandro Díaz-Caro visits Universidad de la República, to work with Octavio Malherbe.
December 20, 2023 Martín Villagra defends his Licenciatura thesis at Universidad de Rosario, supervised by Alejandro Díaz-Caro and Pablo E. Martínez López.
November 13 to December 17, 2023 Alejandro Díaz-Caro will be at LORIA as "invited researcher", working with the team Moqcua.
August 28 to September 9, 2023 Alejandro Díaz-Caro is at Universidad de la República, woring with Octavio Malherbe.
August 3, 2023 Nicolás San Martín defends his Licenciatura thesis at Universidad de Buenos Aires, supervised by Alejandro Díaz-Caro.
June 22 to July 21, 2023. Alejandro Díaz-Caro is at INRIA as "invited professor", working with the teams QuACS, and DEDUCTEAM.
April/May, 2023. Alejandro Díaz-Caro will be at CentraleSupélec as "invited professor", working with the teams QUACS, and DEDUCTEAM.
March, 2023. Alejandro Díaz-Caro will be at Universidad de la República, woring with Octavio Malherbe.
October 26, 2022. Alejandro Díaz-Caro gives a talk at JCC 2022. Universidad Nacional de Rosario.
September, 2022. Rafael Romero visits the LMF lab to work with Agustín Borgna.
September, 2022. Rafael Romero participates at PLanQC 2022 in Ljubljana, Slovenia.
August, 2022. Malena Ivnisky visits the LMF lab to work with Benoît Valiron.
August, 2022. Malena Ivnisky participates of FLoC in Haifa, Israel, as student volunteer.
July, 2022. The QuICC team is accepted to organize the 21th International Conference on Quantum Physics and Logic (QPL 2024) at Buenos Aires, with Alejandro Díaz-Caro as conference chair.
June/July, 2022. Alejandro Díaz-Caro visits the LMF lab to work with Benoît Valiron and LORIA to work with Simon Perdrix.
March-April 2022. Alejandro Díaz-Caro will visits Universidad de Chile to work with Federico Olmedo.
November 2021. Alejandro Díaz-Caro, Malena Ivnisky, and Rafael Romero will visit the LMF at Paris-Saclay to work with Gilles Dowek, Benoît Valiron and Agustín Borgna financed by ECOS-Sud and the IRP SINFIN.
October 2021. Alejandro Díaz-Caro gives a talk at the 106 Reunión Anual de Física (RAFA) at the Fundamentos e Información Cuántica Division.
October 2021. Santiago Figueira gives an invited talk at WoLLIC 2021.
September 21, 2021. Ariel Bendersky and Santiago Figueira obtained a PIP-CONICET project for the period 2021-2023.
September 21, 2021. Alejandro Díaz-Caro and Mauro Jaskelioff obtained a PIP-CONICET project for the period 2021-2023.
September 10, 2021. Alejandro Díaz-Caro and Gilles Dowek won the Best Paper Award (first place shared with another work) at ICTAC 2021 for their paper A New Connective in Natural Deduction, and its Application to Quantum Computing.
July 2021. Alejandro Díaz-Caro has been elected member of the Steering Committee of FSCD for the period 2021-2024.
June 4, 2021. Rafael Romero and Alejandro Díaz-Caro got a presentation accepted at LSFA 2021.
June 1, 2021. Ariel Bendersky will give the openning talk at ECI 2021.
May 29 2021. Malena Ivnisky got a presentation accepted at Women in Logic 2021.
May 17 2021. Malena Ivnisky and Alejandro Díaz-Caro, toghether with Hernán Melgratti and Benoît Valiron, got a presentation accepted at TYPES 2021.
May 7, 2021. Alejandro Díaz-Caro got two presentations accepted at QPL 2021, one with Octavio Malherbe and one with Gilles Dowek.
April 15, 2021. Ariel Bendersky will be giving an invited tutorial at QPL 2021.
April 15, 2021. Alejandro Díaz-Caro will give an invited talk at LSFA 2021.
February 12, 2020. A new project PICT has been granted for the period 2021-2023. Directed by Federico Holik, and with Alejandro Díaz-Caro as a member.
December 23, 2020. Ignacio Perito defends his PhD thesis at Universidad de Buenos Aires, supervised by Ariel Bendersky and Augusto Roncaglia. (Streaming link. Starts at 1:30pm ART)
December 10, 2020. A new cooperation project has been stablished between QuICC members and Chile, Uruguay, and France. STIC-AmSud Project 21STIC10 "Qapla'". 2021-2022.
December 1, 2020. Malena Ivnisky has been granted with a UBA scholarship to do his PhD thesis at UBA within QuICC, under the direction of Alejandro Díaz-Caro and Octavio Malherbe, starting in December 2020.
October 15, 2020. Alejandro Díaz-Caro gives an interview to the radio show "El Faro - Un programa de ciencia" (FM Radio Noticias, Santa Rosa, La Pampa).
August 28, 2020. Malena Ivnisky defends her Licenciatura thesis (eq. Masters in the EU) at Universidad de Buenos Aires, supervised by Alejandro Díaz-Caro and Hernán Melgratti.
May 19, 2020. The new team QuICC officially begins.
May 12, 2020. Alejandro Díaz-Caro gives a talk at FICH-UNL invited by the students union.
May 4, 2020. Francisco Noriega defends his Licenciatura thesis (eq. Masters in the EU) at Universidad de Buenos Aires, supervised by Alejandro Díaz-Caro.
April 6, 2020. Nicolás Ciangaglini defends his Licenciatura thesis (eq. Masters in the EU) at Universidad de Buenos Aires, supervised by Ariel Bendersky.
April 1,2020 Rafael Romero officially starts his PhD fellowship.
March 19, 2020. Rafael Romero defends his Licenciatura thesis (eq. Masters in the EU) at Universidad de Buenos Aires, supervised by Alejandro Díaz-Caro.
January 15, 2020. Rafael Romero has been granted with a CONICET scholarship to do his PhD thesis at UBA within LoReL, under the direction of Alejandro Díaz-Caro and Octavio Malherbe, starting in April 2020.
December, 2019. Santiago Figueira gives the talk "A computer-theoretical outlook on foundations of quantum information" at the XVIII Latin American Symposium on Mathematical Logic. Concepción, Chile.
October 11, 2019. Alejandro Díaz-Caro gives a seminar at BA-Logic.
September 12, 2019. Alejandro Díaz-Caro gives a science popularization talk about quantum computing at Semana de la computación. Exactas-UBA.
September 2 to 6, 2019. Alejandro Díaz-Caro visits Octavio Malherbe at UdelaR, Uruguay.
August 20, 2019. The eighth LoCIC meeting is taking place at FI-UBA.
August 1st, 2019. Agustín Borgna defends his Licenciatura thesis (eq. Masters in the EU) at Universidad de Buenos Aires, supervised by Alejandro Díaz-Caro.
June 17, 18, 20, and 21, 2019. Alejandro Díaz-Caro visits Gilles Dowek at LSV, France.
June 11 to 14, 2019. Alejandro Díaz-Caro visits Benoît Valiron at LRI, France.
May 14 to 17, 2019. Alejandro Díaz-Caro visits Alexandre Miquel and Benoît Valiron (who is visiting) at Universidad de la Repúbica, Montevideo, Uruguay.
April 9 to 14, 2019. Alejandro Díaz-Caro visits Octavio Malherne at Universidad de la Repúbica, Montevideo, Uruguay.
March 15th, 2019. Alejandro Díaz-Caro and Pablo Barenbaum give talks at the ICC day, Buenos Aires, Argentina.
March 13th, 2019. Alejandro Díaz-Caro gives a talk at the V International Workshop on Quantum Mechanics and Quantum Information: Physical, Philosophical and Logical Perspectives at Universidad CAECE, Buenos Aires, Argentina.
February 18 to 22, 2019. Alejandro Díaz-Caro gives a talk and a mini-course at the XI Summer Workshop in Mathematics at Universidade de Brasília, Brazil.
January 16 to 27, 2019. Alejandro Díaz-Caro visits Federico Olmedo at Universidad de Chile, Santiago, Chile.
December, 2018. Santiago Figueira gives the talk "A computer-theoretical outlook on foundations of quantum information" at the Computability, Complexity and Randomness. Santiago de Chile, Chile.
December 3 to 20, 2018. Alejandro Díaz-Caro visits Gilles Dowek at ENS Paris-Cachan and Benoît Valiron at Université Paris-Sud, France.
November 22, 2018. Alejandro Díaz-Caro gives a talk at the VIII Conference on Quantum Foundations: Quantum Logic & Quantum Structures, held at CAECE, Buenos Aires, Argentina.
November 15, 2018. Malena Ivnisky gives a talk at a Master's seminar event at LRI about her master's thesis, France.
November 12 to 24, 2018. Malena Ivnisky visits Benoît Valiron at Université Paris-Sud, France.
October 27 to 30, 2018. Alejandro Díaz-Caro visits Octavio Malherbe at Universidad de la República, Uruguay.
September 6, 2018. 6ta Jornada de Lógica, Computación e Información Cuántica takes place at ICC (Exactas-UBA).
July 2-16, 2018. Alejandro Díaz-Caro visits Marcos Villagra at NIDTEC, Universidad Nacional de Asunción, Paraguay.
June 27, 2018. Juan Pablo Rinaldi defends his Licenciatura thesis (eq. Masters in the EU) at Universidad Nacional de Rosario, supervised by Alejandro Díaz-Caro.
April 5, 2018. Agustín Borgna gives a seminar at Deducteam at LSV, ENS Paris-Saclay, Cachan, France.
April 2 to 6, 2018. Alejandro Díaz-Caro visits Deducteam at LSV, ENS Paris-Saclay, Cachan, France.
March 26 to 30, 2018. Alejandro Díaz-Caro visits ModHel at LRI Université Paris-Saclay, Orsay, France.
March 19 to 22, 2018. Alejandro Díaz-Caro gives a seminar at CVQT in Edinburgh, UK.
March 9, 2018. Alejandro Díaz-Caro gives a seminar at WTPC in UNQ.
March 1, 2018. 4ta Jornada de Lógica, Computación e Información Cuántica takes place at UNQ.

Recent and upcoming visitors

January and may, 2024. Octavio Malherbe (UdelaR, Uruguay).
November, 2023. Pablo Arrighi (U. Paris-Saclay, LMF, France).
March, April, August, and October 2023. Octavio Malherbe (UdelaR, Uruguay).

Current projects

HORIZON-MSCA-2023-SE 101182520. QCOMICAL: Quantum Computing and Its Calculi. European Commission. 2025-2028.
CNRS IRP SINFIN: Systems, verIfication, computiNg Foundations, logIque, laNguages. CNRS-CONICET. 2024-2029.
PICT-2021-I-A-00090. Computación cuántica y sus cálculos. MinCyT. 2023-2026.
PICT-2021-I-A-00838. Fundamentos de lenguajes de consulta para bases de datos estructuradas en forma de grafos. MinCyT. 2023-2026.
PICT 2019-1272. Estructuras lógicas y algebraicas vinculadas al procesamiento de la información cuántica. MinCyT. 2021-2024.
PIP 11220200100368CO. Fundamentos de lenguajes para computación cuántica y consecuencias en sistemas clásicos. CONICET. 2022-2024.
PIP 11220200101290CO. Procesamiento cuántico de la información y complejidad descriptiva. CONICET. 2022-2024.
PUNQ 2218/22. Fundamentos de lenguajes de programación: sistemas de pruebas y computación cuántica. Universidad Nacional de Quilmes. 2022-2025.

Past projects

CNRS IRP SINFIN: Systems, verIfication, computiNg Foundations, logIque, laNguages. CNRS-CONICET. 2019-2024.
STIC-AmSud. Qapla' - Quantum Aspects of Programming Languages. Argentina: Universidad Nacional de Quilmes and Universidad de Buenos Aires. Brazil: Universidade Federal de Santa Maria. France: INRIA, CNRS/LORIA, Université Aix-Marseille, CentraleSupélec/LRI. Chile: Universidad de Chile. Uruguay: Universidad de la República. 2021-2022.
UBACyT 20020190100021BA. Lenguajes expresivos para grafos con datos. UBA. 2020-2022.
PUNQ 1342/19. Fundamentos de lenguajes de programación: sistemas de pruebas y computación cuántica. Universidad Nacional de Quilmes. 2019-2021.
ECOS Sud A17C03. Quantum calculi. 2018-2020. Extended until 2021 due to the COVID-19 crisis.
PICT 2015-1208. Fundamentos de lenguajes de programación cuántica: hacia una lógica computacional. MinCyT. 2017-2019.
PUNQ 1370/17. Fundamentos de lenguajes de programación cuánticos y sus consecuencias en sistemas clásicos. Universidad Nacional de Quilmes. 2017-2019.
We participated in INFINIS, a French-Argentinean Laboratory (Laboratoire Internationale Associé) between Centre National de la Recherche Scientifique(CNRS) and Université Paris Diderot, on the one hand, and Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) and the Universidad de Buenos Aires, on the other. It is devoted to research in Computer Science. Specific focus is placed on formal methods, for modeling, verification and development of complex software artifacts. 2013-2018.
STIC-AmSud. FoQCoSS - Foundations of Quantum Computation: Syntax and Semantics. Argentina: Universidad Nacional de Quilmes, Universidad de Buenos Aires. Brazil: Universidade Federal de Santa Maria. France: INRIA, CNRS/LORIA, Université Aix-Marseille, CentraleSupélec/LRI. 2016-2017.
PUNQ 1425/15. Fundamentos de lenguajes de programación cuánticos y sus consecuencias en sistemas clásicos. Universidad Nacional de Quilmes. 2015-2017.