[QuICC Logo] 

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

Researchers

Guido
Bellomo
[Bellomo]
Ariel
Bendersky
[Bendersky]
Alejandro
Díaz-Caro

[Diaz-Caro]
Santiago
Figueira

[Figueira]

PhD Fellows

Virginia
Feldman
[Feldman]
Ignacio
Perito
[Perito]
Rafael
Romero
[Romero]

Undergraduate Students

Ignacio
Grima
[Grima]
Malena
Ivnisky
[Ivnisky]
Nicolás
Monzón
[Monzon]

Former
PhD Fellow

 
Former Undergrad Students

Gabriel
Senno
[Senno]
Francisco
Noriega
[Noriega]
Nicolás
Ciancaglini
[Ciancaglini]
Agustín
Borgna
[Borgna]
Juan Pablo
Rinaldi
[Rinaldi]


Recent and upcomming events

  • 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 upcomming visitors

  • December 16-20, 2019 and February 18-22, 2020. Octavio Malherbe (UdelaR, Uruguay).
  • November 26 to December 6, 2019. Gilles Dowek (Inria & ENS-Paris-Saclay, France).
  • November 13-22, 2019. Simon Perdrix (CNRS & LORIA, France).
  • October 14-25, 2019. Ivan Marquez (AMU, France).
  • August 20 to September 30, 2019. Nely Plata-César (UAEM, Mexico).
  • July 22-27, 2019. Pablo Arrigh (AMU, France) and Beniamino Accattoli (Inria, France).
  • July 1st to 12, 2019. Federico Olmedo (UChile, Chile).
  • April 26-29, 2019. Octavio Malherbe (UdelaR, Uruguay).
  • March 11-14, 2019. Marcos Villagra (UNA, Paraguay).
  • September 20-23, 2018 and February 26 to March 1, 2019. Octavio Malherbe (UdelaR, Uruguay).
  • September 6, 2018. Marcos Villagra (UNA, Paraguay) and Alexandre Miquel (UdelaR, Uruguay).
  • July 23 to August 3, 2018. Gilles Dowek (Inria & ENS-Paris-Saclay, France).
  • June 16-19, 2018. Octavio Malherbe (UdelaR, Uruguay).
  • May 18-22, 2018. Alexandre Miquel and Mauricio Guillermo (UdelaR, Uruguay).
  • May 14-25, 2018. Benoît Valiron (LRI, France).
  • January 22-26 and April 19-22, 2018. Octavio Malherbe (UdelaR, Uruguay).

Current projects

  1. PUNQ 1342/19. Fundamentos de lenguajes de programación: sistemas de pruebas y computación cuántica. Universidad Nacional de Quilmes. 2019-2021.
  2. ECOS Sud A17C03. Quantum calculi. 2018-2020.
  3. We participate in the LIA SINFIN, 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. 2019-2024.

Past projects

  1. PICT 2015-1208. Fundamentos de lenguajes de programación cuántica: hacia una lógica computacional. MinCyT. 2017-2019.
  2. PUNQ 1370/17. Fundamentos de lenguajes de programación cuánticos y sus consecuencias en sistemas clásicos. Universidad Nacional de Quilmes. 2017-2019.
  3. 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.
  4. 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.
  5. PUNQ 1425/15. Fundamentos de lenguajes de programación cuánticos y sus consecuencias en sistemas clásicos. Universidad Nacional de Quilmes. 2015-2017.
Instituto de Ciencias de la Computación
FCEN, Universidad de Buenos Aires
Pabellón 1, Ciudad Universitaria
C1428EGA Ciudad Autónoma de Buenos Aires
Argentina


[CONICET] [ICC] [UBA] [Exactas] [DC]