Team Leaders

Formal methods, testing techonology and QoS.
Formal methods for critical systems, communications software and Internet services on mobile networks.

Post-Doctorate Researchers

Communication protocols, cellular networks and mobile application performance testing.
Formal methods to ensure the safety in real-time and hybrid systems.


Communications software and protocol testing.
Alvaro Ríos Gómez is a telecommunication researcher at the Universidad de Málaga with over 8 years of experience in R&D projects. His research interests are mobile broadband communications, protocol testing development and mission critical communications. He has participated in research projects like Fed4Fire, Tecrail, Check-It, WiTLE2 or 4Green covering different aspects of LTE communication providing his expertise in LTE stacks development (RRC, NAS, PDCP), testing software development and architectural design. He is the technical leader of the Q4Health (H2020-FIRE) at Universidad de Málaga. His work focuses in the design and development of middle- and upper-layer components of real time communications systems. He has successfully participated in various Spanish and European grants alongside key industrial partners like Keysight Technologies and At4wireless

External Colaborators

Model checking, software reliability and runtime verification in mobile applications
Wireless communication protocols for mobile devices, QoS testing and mobile applications.
Formal methods for the analysis and optimization of heterogeneous systems.

Former Members

.NET technologies as well as Java development.
Safety-critical systems and Integrated Modular Avionics
Mobile broadband communications, protocol testing development and mission critical communications.
Methods and models in Computer Science oriented towards secure embedded and distributed systems.
Mobile communications, software testing and communication protocols.
Communication software and communication protocol development
Energy-efficiency on computer networks and protocols, with a focus on LTE and next-generation mobile networks.
Use of formal methods on software verification.
Automatic debugging, verification and analysis of concurrent, reactive and temporal systems, semantics of declarative languages, the concurrent constraint paradigm, abstract interpretation, temporal logics.