INVESTIGADORES
DÍAZ CARO Alejandro
datos académicos
Título/s
Docteur de l'Université de Grenoble
Licenciado en Ciencias de la Computación
Categoría
INV ADJUNTO
Disciplina científica
Informática y Comunicaciones
Disciplina desagregada
MATEMATICA-FUNDAMENTOS Y LOGICA
Especialidad
Fundamentos de lengujes de programación. Computación cuántica.
Tema
Fundamentos de lenguajes de programación y computación cuántica
Tema en inglés
Foundations of programming languages and quantum computing.
Palabras clave
CALCULO LAMBDA // COMPUTACION CUANTICA // TEOREIA DE TIPOS
Palabras clave en inglés
LAMBDA CALCULUS // QUANTUM COMPUTING // TYPE THEORY
Lugar de trabajo
[ICC] INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -