1. CONICET
  2. Comunidad CONICET
  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
Lugar de Trabajo
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA)
Depende de
Ver más información Ver menos información
Dirección:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina
Ver mapa
Resumen Información suministrada por el agente en SIGEVA
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).
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 RRHH
Director de:
Cargando sección Producción CyT...
Cargando sección Oferta Tecnológica...
Contacto
Enviar Mensaje