Departamento: Informática

Área: Ciencia de la Computación e Inteligencia Artificial

Grupo de investigación: GRUPO DE INVESTIGACIÓN EN OPTIMIZACIÓN Y SCHEDULING INTELIGENTES

Email: ramiro@uniovi.es

Doctor por la Universidad de Oviedo con la tesis Un modelo para el cálculo paralelo de deducciones en lógica de predicados 1996. Dirigida por Dra. María Camino Rodríguez Vela, Dr. Antonio Bahamonde Rionda.