Internal doctoral fellowship
Speciality
Lógica y Computabilidad
Scientific discipline
Computer Science and Communications
- Mathematics
Topic
Bisimulations in Logics and Automata
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
Estudiante de doctorado en Matemática.
Lines of Investigation
Lógica y teoría de categorías
Natural and exact sciences
- Mathematics
- Other mathematics
Lógica y teoría de categorías
Natural and exact sciences
- Mathematics
- Other mathematics
Technological Capacities
1 - Electronics, IT and Telecoms
1.2 - Information Processing, Information System, Workflow Management
- 1.2.10 - Databases, Database Management, Data Mining
- 1.2.16 - Simulation
Key Words
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
Education
2015 - 2021
Licenciado en Ciencias Físicas
FACULTAD DE CIENCIAS EXACTAS Y NATURALES, UNIVERSIDAD DE BUENOS AIRES
Directed by:
FIGUEIRA, SANTIAGO
Scientific Research Career at CONICET
FIGUEIRA, Santiago
Scientific Research Career at CONICET
Loading section
Science and Technology Production...
Loading section
Services...
Contact