SOLARES ROJAS, ALEJANDRO JAVIER

POSTDOCTORAL (INTERNA)

ESPECIALIDAD:

Lógica para Ciencias de la Computación e Inteligencia Artificial

Disciplina Científica:

Matemática - Informática y Comunicaciones

Tema:

Razonamiento modal tratable vía sistemas híbridos de deducción natural + tableaux

Lugar de Trabajo

INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depende de

CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)

OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA (OCA - CDAD. UNIVERSITARIA)

UNIVERSIDAD DE BUENOS AIRES (UBA)

FACULTAD DE CIENCIAS EXACTAS Y NATURALES

	Dirección:
	INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina

Contacto:

Enviar Mensaje

Experticia en CyT*

Experticia en razonamiento automatizado en lógicas clásica, intuicionista y modal, con aplicaciones en teoría de computación e inteligencia artificial (neuro)-simbólica. *Información suministrada por el agente en SIGEVA

Líneas de Investigación

Razonamiento automatizado en lógicas intuicionista y modales Ciencias naturales y exactas - Ciencias de la computación e información - Ciencias de la computación

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.15. Gestión de conocimiento, gestión de procesos
2.13. Tecnología de información / informática
2.3. Inteligencia artificial (IA)
2.20. Software de automatización

Palabras Clave

Razonamiento AutomatizadoLógica Intuicionista y ModalTeoría de DemostraciónAutomated ReasoningIntuitionistic and Modal LogicProof Theory

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

Codirigido por

BARRIO, EDUARDO ALEJANDRO

Carrera Investigador

BARRIO, Eduardo Alejandro Carrera Investigador

Producción CyT

Cargando datos . . .

Oferta Tecnológica

Cargando datos . . .