CONICET Community
DÍAZ CARO, ALEJANDRO
Adjunctive researcher
SPECIALITY:
Fundamentos de lengujes de programación. Computación cuántica.Scientific discipline:
Computer Science and CommunicationsTopic:
Foundations of programming languages and quantum computing.Workplace
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depends on
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)
- UNIVERSIDAD DE BUENOS AIRES (UBA)
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
| Address: | |
| INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Contact:
S&T Expertise*
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). *Information provided by the agent in SIGEVALines of Investigation
Computación Cuántica
Natural and exact sciences - Computer and information sciences - Computer sciences
Key Words
QUANTUM COMPUTINGPROGRAMMING LANGUAGESCATEGORY THEORYTEORIA DE CATEGORIASREWRITTINGTYPE THEORYLENGUAJES DE PROGRAMACIONCOMPUTACION CUANTICAREESCRITURATEORIA DE TIPOS
Education
2008 - 2011
Docteur de l'Université de Grenoble
UNIVERSITE DE GRENOBLE
2000 - 2007
Licenciado en Ciencias de la Computación
UNIVERSIDAD NACIONAL DE ROSARIO
S&T HR Training
Science and Technology Production
Loading data . . .
Services
Loading data . . .