CONICET Community
SOLARES ROJAS, ALEJANDRO JAVIER
POSTDOCTORAL (INTERNA)
SPECIALITY:
Lógica para Ciencias de la Computación e Inteligencia ArtificialScientific discipline:
Matemática - Informática y ComunicacionesTopic:
Razonamiento modal tratable vía sistemas híbridos de deducción natural + tableaux . Tractable modal reasoning via hybrid systems of natural deduction + tableauxWorkplace
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depends on
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)
- UNIVERSIDAD DE BUENOS AIRES (UBA)
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
| Address: | |
| INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Contact:
Education
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
Scientific Research Career at CONICET
Science and Technology Production
Loading data . . .
Services
Loading data . . .