Comunidad CONICET
Beca interna doctoral
Especialidad
Lógica y Computabilidad
Disciplina Científica
Informática y Comunicaciones
- Matemática
Tema
Bisimulaciones en lógicas y autómatas
Lugar de Trabajo
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
(ICC, CONICET-UBA)
Depende de
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS
- UNIVERSIDAD DE BUENOS AIRES
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
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
Estudiante de doctorado en Matemática.
Líneas de Investigación
Lógica y teoría de categorías
Ciencias naturales y exactas
- Matemáticas
- Otras matemáticas
Lógica y teoría de categorías
Ciencias naturales y exactas
- Matemáticas
- Otras matemáticas
Capacidades Tecnológicas
1 - Electrónica, TICs y telecomunicaciones
1.2 - Procesado de información, Sistemas de información, Gestión de la carga de trabajo
- 1.2.10 - Bases de datos, gestión de bases de datos, extracción de datos
- 1.2.16 - Simulaciones
Palabras Clave
Teoría de categorías computacionalComputational Category TheoryTeoría de modelos finitosTeoría de categoríasTeoría de bases de datosFinite Model TheoryCategory TheoryDatabase Theory
Formación Académica
2015 - 2021
Licenciado en Ciencias Físicas
FACULTAD DE CIENCIAS EXACTAS Y NATURALES, UNIVERSIDAD DE BUENOS AIRES
Dirigido por:
FIGUEIRA, SANTIAGO
Carrera Investigador
FIGUEIRA, Santiago
Carrera Investigador
Cargando sección
Producción CyT...
Cargando sección
Oferta Tecnológica...
Contacto