1. CONICET
  2. Personas
  3. ALEJANDRO DÍAZ CARO
Comunidad CONICET

DÍAZ CARO, ALEJANDRO

INVESTIGADOR ADJUNTO

ESPECIALIDAD:

Fundamentos de lengujes de programación. Computación cuántica.

Disciplina Científica:

Informática y Comunicaciones

Tema:

Fundamentos de lenguajes de programación y computación cuántica . Foundations of programming languages and quantum computing.

Lugar de Trabajo

INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depende de
Dirección:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina

Contacto:

Enviar Mensaje

Experticia en CyT*

Mi campo de experiencia es la teoría de la computación. En particular, mi área principal de investigación está en los fundamentos de lenguajes de programación para computación cuántica (teoría de tipos, lógica, teoría de categorías, cálculo lambda). *Información suministrada por el agente en SIGEVA

Líneas de Investigación

Computación Cuántica CIENCIAS NATURALES Y EXACTAS - Ciencias de la Computación e Información - Ciencias de la Computación

Palabras Clave

QUANTUM COMPUTINGPROGRAMMING LANGUAGESCATEGORY THEORYTEORIA DE CATEGORIASREWRITTINGTYPE THEORYLENGUAJES DE PROGRAMACIONCOMPUTACION CUANTICAREESCRITURATEORIA DE TIPOS

Formación Académica

2008 - 2011

Docteur de l'Université de Grenoble

UNIVERSITE DE GRENOBLE

2000 - 2007

Licenciado en Ciencias de la Computación

UNIVERSIDAD NACIONAL DE ROSARIO


Formación de Recursos Humanos en CyT

Director de

Producción CyT

Cargando datos . . .

Oferta Tecnológica

Cargando datos . . .