CONICET Community
Adjunctive researcher
Speciality
Fundamentos de lengujes de programación. Computación cuántica.
Scientific discipline
Computer Science and Communications
Topic
Foundations of programming languages and quantum computing.
Workplace
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
(ICC, CONICET-UBA)
Dependencies
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS
- UNIVERSIDAD DE BUENOS AIRES
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
Show more information
Show less information
| Address: |
| INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Show map
Summary
Information provided by the agent in
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).
Lines 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
Director of:
ROMERO, LUCAS RAFAEL
Scholars
SOTTILE, CRISTIAN FABIÁN
Scholars
Loading section
Science and Technology Production...
Loading section
Services...
Contact