Department: LENGUAJES Y CIENCIAS DE LA COMPUTACION

Center: E.T.S.I. DE INFORMÁTICA

Institute: INSTITUTO ANDALUZ DE INVESTIGACION E INNOVACIÓN EN TURISMO (IATUR)

Universidad: University of Málaga

Area: Computer Languages and Systems

Email: enciso@uma.es

Doctor by the Universidad de Málaga with the thesis Lógica temporal y demostración automática de teoremas. Eficiencia y paralelismo 1995. Supervised by Dr. Inmaculada Pérez de Guzmán Molina.