Descripción: ttp://




Dr. Pedro Merino is an associate professor at Universidad de Málaga and belongs to the Mobile Networks and Software Reliability Team (MORSE). His research interests are foundations, tools, and applications of formal methods and protocol engineering for critical systems, particularly communications software for 4G and 5G networks. 


He is the technical coordinator of project SAID (European Union’s Seventh Framework Programme FP7) devoted to the demonstration of novel ICT technologies to implement decision support systems for water management.


He is the main researcher at Universidad de Málaga in the European projects FP7-Fed4FIRE, FP7-FLEX, H2020-TRIANGLE, H2020-Q4HEALTH and H2020-Fed4FIRE+ addressing the topic Future Internet Research and experimentation.


Pedro Merino has co-authored papers in relevant journals in this field of mobile communications (such as IEEE Pervasive Computing, IEEE Internet Computing, Mobile Networks & Applications, and Computer Communications) and methods for software development (such as IEEE Software, Science of Computer Programming, Software Tools for Technology Transfer, Journal of Automated Reasoning).


He was the chair of the ERCIM WG on Formal Methods for Industrial Critical Systems, and member of the Executive Committee of ERCIM, one of the larger research consortiums in ICT n Europe. He was member of the steering committee of COFUND project ABCDE (European Union’s Seventh Framework Programme FP7).  He represents Universidad de Málaga in NetWorld2020 ETP that supports the 5G PPP initiative.




Full Professor (Catedrático)

PhD in Computer Science (1998)

Dpto. de Lenguajes y Ciencias de la Computación
ETSI Informática-ETSI Telecomunicación
Universidad de Málaga
Campus de Teatinos,
29071 Málaga, (SPAIN)
Room 3.2.9

Tel: +34 952 13 2752
Fax: +34 952 13 1397