Department: Informática

Area: Computer Science and Artificial Intelligence

Research group: GRUPO DE INVESTIGACIÓN EN OPTIMIZACIÓN Y SCHEDULING INTELIGENTES

Email: ramiro@uniovi.es

Doctor by the Universidad de Oviedo with the thesis Un modelo para el cálculo paralelo de deducciones en lógica de predicados 1996. Supervised by Dr. María Camino Rodríguez Vela, Dr. Antonio Bahamonde Rionda.