Department: LENGUAJES Y CIENCIAS DE LA COMPUTACION

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

Institute: INSTITUTO DE TECNOLOGÍA E INGENIERÍA DEL SOFTWARE "JOSÉ MARÍA TROYA LINERO" (ITIS)

Universidad: University of Málaga

Area: Telematics Engineering

Research group: INGENIERIA DEL SOFTWARE

Email: pmerino@uma.es

Doctor by the Universidade de Santiago de Compostela with the thesis Estudios metalográficos de los diferentes tipos de corrosión profundidad de los focos de ataque preferente 1987. Supervised by Dr. Luis Espada Recarey.

Doctor by the Universidad de Málaga with the thesis Observadores lineales un lenguaje de especificación de propiedades para verificación de protocolos 1998. Supervised by Dr. José María Troya Linero.