Ponente: Pedro Merino
Fecha y Hora: Julio 2021 (día y hora aún por determinar)
Acceso en el siguiente enlace (próximamente)
Resumen:
…
Bio: Pedro Merino es catedrático de la Universidad de Málaga. Entre sus líneas de investigación destacan los fundamentos, herramientas y aplicaciones de métodos formales para sistemas críticos, particularmente software de comunicaciones, y las técnicas de desarrollo para servicios en redes móviles. Ha sido el responsable diferentes proyectos de investigación nacionales sobre tecnologías de telefonía móvil y sistemas empotrados, y proyectos orientados a la transferencia de tecnología en el campo de las comunicaciones móviles con empresas internacionales como OPTIMI-Ericsson (herramientas para la calidad de servicio en telefonía móvil), AT4 wireless (desarrollo de software de comunicación para protocolos de señalización de nuevos estándares HSPA y LTE) o Keysight Technologies (técnicas para optimizar recursos radio en comunicaciones móviles). Colaboró en el proyecto TECRAIL, dedicado a definir el uso de LTE como el futuro reemplazo de GSM-R para el control ferroviario. Ha sido miembro del comité de dirección del proyecto COFUND ABCDE (FP7) y coordinador técnico de diferentes proyectos europeos como SAID (FP7), y coordinador de EuWirless (H2020). Pedro Merino fue presidente del ERCIM WG sobre métodos formales para sistemas críticos industriales y miembro del Comité Ejecutivo de ERCIM, uno de los consorcios de investigación más grandes en TIC. Representa a la Universidad de Málaga en Networld2020 ETP y a la Asociación 5GPPP. Actualmente es miembro de los grupos de investigación GISUM y MORSE y es director de ITIS Software.