Dr. Alberto Salmerón is a researcher at the University of Málaga since 2006. His current research interests include the application of formal methods to the analysis and optimization of heterogeneous systems, and model based testing for analyzing software running on smartphones. Alberto earned his PhD in Computer Science from the University of Málaga in 2014. He has participated in national and international projects related with systems reliability, such as Rescue, SAID and Check-it, and related with mobile technology, such as MoTeCo. He has co-authored papers in relevant journals and conferences in the field of formal methods and communications software, like IEEE Software, IEEE Communications Letters, Journal of Systems and Software, MSVVEIS, ACM MSWiM and the Spin Workshop
Formal methods for the analysis and optimization of heterogeneous systems.