Jump to Navigation

Pedro Merino

Pedro Merino's picture
First Name: 
Last Name: 
Team Leaders
Research interests: 
Formal methods for critical systems, communications software and Internet services on mobile networks.
+34 951952958 / +34 952132752

Dr. Pedro Merino is an associate professor at Universidad de Málaga. His research interests are foundations, tools, and applications of formal methods for critical systems, particularly communications software, and development techniques for Internet services on mobile networks. He is responsible of several national research projects on mobile phone technologies and embedded systems. He is the leader of several projects oriented to technology transfer in the field of mobile communications with international companies like OPTIMI-Ericsson (tools for quality of service on mobile phone), AT4 wireless (development of communication software for signaling protocols of new standards HSPA and LTE), Agilent Technologies Spain (techniques to optimize radio resources in mobile communications) or Commarch (MoTeCo - a Leonardo Da Vinci European Project to develop training curriculum in Symbian OS mobile technology). He is actually involved in the project Tecrail, devoted to defining the use of LTE as the future replacement of GSM-R for railway control. This project is coordinated by Alcatel-Lucent with the main Spanish stakeholders ADIF and Metro Madrid. He was member of the steering committee of COFUND project ABCDE (FP7) and he is the technical coordinator of project SAID (FP7) devoted to the demonstration of novel ICT technologies to implement decision support systems for water management. Pedro Merino has co-authored papers in relevant journals in this field of mobile communications (such as IEEE Pervasive 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). Pedro Merino 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. He represents Universidad de Málaga in the 5GPPP

Main menu 2

by Dr. Radut