Comunidad CONICET
GOREN, GABRIEL MAURICIO
BECA INTERNA DOCTORAL
ESPECIALIDAD:
Lógica y ComputabilidadDisciplina Científica:
Informática y Comunicaciones - MatemáticaTema:
Bisimulaciones en lógicas y autómatas . Bisimulations in Logics and AutomataLugar de Trabajo
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depende de
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)
- UNIVERSIDAD DE BUENOS AIRES (UBA)
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
Dirección: | |
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Contacto:
Experticia en CyT*
Estudiante de doctorado en Matemática. *Información suministrada por el agente en SIGEVALíneas de Investigación
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
- 2. Procesado de información, Sistemas de información, Gestión de la carga de trabajo
- 2.10. Bases de datos, gestión de bases de datos, extracción de datos
- 2.16. Simulaciones
Palabras Clave
Teoría de modelos finitosTeoría de categoríasAutómatasFinite Model TheoryCategory TheoryAutomata
Formación Académica
2015 - 2021
Licenciado en Ciencias Físicas
FACULTAD DE CIENCIAS EXACTAS Y NATURALES, UNIVERSIDAD DE BUENOS AIRES
Producción CyT
Cargando datos . . .
Oferta Tecnológica
Cargando datos . . .