Alejandro Díaz-Caro

🇫🇷 Visiting researcher at Inria (Mocqua team)
🇺🇾 Associate Professor at UdelaR

I work on quantum programming languages.

[Alejandro Díaz-Caro @JanusDC]

Artículo que escribí para la revista Bits de Ciencia por invitación de Federico Olmedo.

"Lógica y computación cuántica: un camino a través de los vaivenes políticos de la Argentina"

El artículo completo:
https://t.co/PFhh3ZraIt

Acá la revista completa:
https://t.co/CPo9GeOId4

[Nora Bär @norabar]

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👇

[Alejandro Díaz-Caro @JanusDC]

@PersonalAr compré el pack para roaming de datos en Uruguay pero en lugar de usarlo me activó “internet x día” y me consumió todo el crédito. El número “gratis“ de soporte desde el exterior me dice ayer no puedo contactarlos por no tener saldo. Me ayudan? Quiero un reintegro

[Alejandro Díaz-Caro @JanusDC]

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.

[Alejandro Díaz-Caro @JanusDC]

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): https://t.co/7QZuanEvrb

[Alejandro Díaz-Caro @JanusDC]

Qué duro leer esto a la distancia. Fin de los PICT: sin socio privado, no hay fondos.

Le sueltan la mano a la ciencia básica, las sociales y las humanidades. Mucha fuerza a los colegas que la siguen remando allá.

https://t.co/a46Tmi41ec

[Alejandro Díaz-Caro @JanusDC]

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.
🇺🇾

[Alejandro Díaz-Caro @JanusDC]

Last day of the 1st QCOMICAL School on quantum and classical programming languages and semantics.

https://t.co/Ioz0iOel88

[Alejandro Díaz-Caro @JanusDC]

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
https://t.co/FlMtQYh9p0

[Estudio Tech @EstudioTechok]

Entrevistamos a Alejandro Díaz-Caro @JanusDC , científico y docente argentino, especialista en computación cuántica teórica.
https://t.co/V1BYgNs34k

[Gonzalo Sanz Cerbino @CerbinoSanz]

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

[Martina Jaureguy @marjaureguy]

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

[Alejandro Díaz-Caro @JanusDC]

https://t.co/20OsHqM1Il

[Alejandro Díaz-Caro @JanusDC]

https://t.co/83dkD55Hp6

[RAICYT @RAICYT_Ar]

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. 👉

[Alejandro Díaz-Caro @JanusDC]

https://t.co/Ns9S6vrKnc

[Centre Inria de l'Université de Lorraine @Inria_Nancy]

#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".

[Carlos Greg Diuk @carlosdiuk]

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.

[Alejandro Díaz-Caro @JanusDC]

@tranqui_rober Y si no entendemos que la inversión en ciencia es una polftica de Estado que trasciende a los gobiernos, seguiremos destruyendo lo poco que logramos avanzar. No se trata de un partido, se trata de entender que sin ciencia no hay desarrollo ni futuro.

[Alejandro Díaz-Caro @JanusDC]

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

[Alejandro Díaz-Caro @JanusDC]

@tranqui_rober No entiendo la pregunta que poco tiene que ver con la conversación.
Para construir un sistema científico se necesitan décadas (no 18 años, décadas). Para destruir un sistema científico incipiente, meses. Lo que están haciendo ahora es destruirlo. Lo demás corre por cuenta tuya.

[Ezequiel Ferrero @ezeferrero]

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: 👇