Comunidad CONICET

GOREN, GABRIEL MAURICIO

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 . Bisimulations in Logics and Automata

Lugar de Trabajo

INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depende de
Dirección:
INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina

Contacto:

Enviar Mensaje

Experticia en CyT*

Estudiante de doctorado en Matemática. *Información suministrada por el agente en SIGEVA

Lí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


Dirigido por
FIGUEIRA, SANTIAGO
Carrera Investigador

Producción CyT

Oferta Tecnológica