Comunidad CONICET
SOLARES ROJAS, ALEJANDRO JAVIER
POSTDOCTORAL (INTERNA)
ESPECIALIDAD:
Lógica para Ciencias de la Computación e Inteligencia ArtificialDisciplina Científica:
Matemática - Informática y ComunicacionesTema:
Razonamiento modal tratable vía sistemas híbridos de deducción natural + tableaux . Tractable modal reasoning via hybrid systems of natural deduction + tableauxLugar 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:
Formación Académica
2018 - 2022
Doctor en Filosofía (Lógica)
UNIVERSITA DEGLI STUDI DI MILANO
2016 - 2018
Maestro en Filosofía de la Ciencia (Filosofía de las Matemáticas y Lógica de la Ciencia)
UNIVERSIDAD NACIONAL AUTONOMA DE MEXICO
2009 - 2015
Licenciado en Filosofía
UNIVERSIDAD NACIONAL AUTONOMA DE MEXICO
BARRIO, EDUARDO ALEJANDRO
Carrera Investigador
Producción CyT
Cargando datos . . .
Oferta Tecnológica
Cargando datos . . .