Catedrático de la Universidad de Málaga y director del Instituto de Tecnología del Software. Sus intereses de investigación son fundamentos, herramientas y aplicaciones de métodos formales para sistemas críticos, particularmente software de comunicaciones y técnicas de desarrollo para servicios de Internet en redes móviles.

Responsable de varios proyectos de investigación nacionales sobre tecnologías de telefonía móvil y sistemas embebidos, también es el líder de varios proyectos orientados a la transferencia de tecnología en el campo de las comunicaciones móviles con empresas internacionales como OPTIMI-Ericsson, AT4 wireless o Keysight Technologies. Representa a la Universidad de Málaga en Networld2020 ETP y a la Asociación 5GPPP. Es miembro de los grupos de investigación GISUM y MORSE.