Alejandro Díaz-Caro (@JanusDC) header
Alejandro Díaz-Caro (@JanusDC) profile picture

🇫🇷 Visiting researcher at Inria (Mocqua team) 🇺🇾 Associate Professor at UdelaR I work on quantum programming languages.

Nancy, Francia
Joined September 2009
Photo by Alejandro Díaz-Caro (@JanusDC)Photo by Alejandro Díaz-Caro (@JanusDC)Photo by Alejandro Díaz-Caro (@JanusDC)Photo by Alejandro Díaz-Caro (@JanusDC)Photo by Alejandro Díaz-Caro (@JanusDC)Photo by Alejandro Díaz-Caro (@JanusDC)
Lindo paper aceptado con Tomás Miguez en ICTAC 2026 (su tesis de LCC). Agregamos un let para separar el tensor en un lenguaje cuántico, de modo que descartar variables coincida con un trace-out. Aún en prensa, les dejo el arXiv: arxiv.org/abs/2608.29380
2
246
Alejandro Díaz-Caro retweeted
Financiamiento universitario: “La universidad pública genera 14.000 millones de dólares anuales en la industria del software, no maten a la gallina de los huevos de oro”, fue la frase que dejó la clase pública dictada en las emblemáticas Torres Catalinas del microcentro porteño👇
33
304
6
810
23,012
Nuevo paper aceptado en Theoretical Computer Science. Presentamos una semántica categórica para IMALL con el conectivo "sup" para pares aditivos con eliminación probabilística. Versión preliminar en arXiv (el lunes se actualiza con una corrección mínima): arxiv.org/abs/2205.02142
1
4
148
En criollo: explicamos cómo modelar matemáticamente sistemas que mezclan linealidad (recursos no duplicables) con probabilidad. Usamos teoría de categorías para demostrar que cualquier sistema con ciertas propiedades matemáticas puede soportar este tipo de operaciones lógicas.
77
Obtuvimos financiamiento del Fondo Clemente Estable de la @ANIIuy para seguir un proyecto de 3 años de estudio de modelos categóricos de lenguajes de programación para computación cuántica con Octavio Malherbe, Julián Tricanico, Malena Ivnisky y Nicolás Monzón. 🇺🇾
1
134
Last day of the 1st QCOMICAL School on quantum and classical programming languages and semantics. qcomical2025.github.io
4
140
I know for certain that in my career, in who I am as a scientist, and in every piece of advice I give my students, there is a significant part of Gilles and of the experience I shared by his side. Friend, colleague, mentor, and role model. I will miss you inria.fr/en/gilles-dowek-dea…
1
167
Alejandro Díaz-Caro retweeted
Entrevistamos a Alejandro Díaz-Caro @JanusDC , científico y docente argentino, especialista en computación cuántica teórica. youtube.com/watch?v=cuMZTyq1…
1
3
166
Alejandro Díaz-Caro retweeted
En el día de ayer se publicó una resolución en el Boletín Oficial que habilita a la Secretaría de Innovación, Ciencia y Tecnología a dar de baja proyectos de financiamiento de la actividad científica otorgados por el ex MINCyT. 🧵1/8
1
34
4
76
2,865
Alejandro Díaz-Caro retweeted
El 2024 fue año perdido para la investigación científica en Argentina? Panorama de una situación preocupante: subsidios para investigación paralizados, atraso salarial y desfinanciación de las universidades y ciencia pública. Gracias @JanusDC @moriunsl por los testimonios
1
1
230
Alejandro Díaz-Caro retweeted
A través de nuestros asesores letrados solicitamos al Jefe de Gabinete, Guillermo Francos, información relacionada con la situación actual del Sistema Científico y Tecnológico. No nos detendremos aquí, este es otro paso más en el camino que hemos iniciado hace casi un año. 👉
1
9
2
22
1,369
#VisagesdInria 👋 Bienvenue à @JanusDC, arrivé le 1/10. 🗨️ "Ma mission, au sein de l'équipe Mocqua, est de développer des sémantiques avancées pour les langages de programmation quantiques et de concevoir des outils pour l'analyse et la vérification des programmes quantiques".
2
7
768
Alejandro Díaz-Caro retweeted
Soy egresado de @ComputacionUBA, doctor en Inteligencia Artificial, y trabajo en la #IndustriaDelSoftware. Los que fantasean con una Argentina "potencia en Inteligencia Artificial" mientras desfinancian la ciencia, el Conicet y la Universidad Pública te están engañando.
30
1,027
54
5,065
178,234
Alejandro Díaz-Caro retweeted
Dear colleagues of the 🌎, As you might know, Argentina's public science is undergoing a brutal financial cut. Essentially, only salaries (always low) are paid. Therefore, every international help is welcomed. Here are some ways you can help: 👇
4
293
15
649
47,474
A veces escuchamos cosas como: "Si el servicio o producto que ofrecés no lo quiere comprar nadie, no ganás dinero. Entonces, ¿por qué los científicos dependen del Estado?" Esta visión está mal enfocada. Les explico brevemente el por qué. (Abro hilo) 1/7
23
168
18
446
32,860
Les dejo mi caso de yapa en 2 twits: Investigo los fundamentos para el desarrollo de lenguajes de programación avanzados para computadoras cuánticas, las cuales aún no se adoptaron masivamente, pero eventualmente van a llegar. De yapa 1/2
1
7
83
2,254
Dirijo tesis a estudiantes de grado y doctorado en esa área, y también dicto cursos sobre fundamentos de lenguajes de programación en la licenciatura en informática, y cursos avanzados sobre cuántica en diferentes ámbitos (incluido para empresas que me han pedido). De yapa 2/2
7
89
1,982