Computación

Alejandro Díaz-Caro, docente de la Universidad Nacional de Quilmes e investigador del Conicet, coordinará una investigación internacional dedicada a la computación cuántica. A partir de la conexión entre la física cuántica y la lógica matemática, el objetivo del trabajo es desarrollar lenguajes de programación robustos y verificables que no tengan errores y permitan maximizar el…