Dr. Laura Panizo is a researcher at the University of Málaga since 2005. Her current research interests are the development and use formal methods to detect errors and to ensure the systems safety, especially for real-time and hybrid systems. Laura obtained her PhD in Computer Science in 2013. She has participated in national and international projects related with systems reliability, such as SAID (FP7), Rescue and Check-it, and related with mobile technology, such as MoTeCo. She has co-authored papers in relevant conferences in the field of mobile network and computing, like IEEE AINA and IEEE VTC, relevant journals and conferences in the field of software reliability, like “Software: Practice and Experience”, “Software Testing, Verification and Reliability”, FMICS, SEFM, JPF and MEVVEIS, as well as conferences in the field of water resource management, like “Hydroinformatics”
Formal methods to ensure the safety in real-time and hybrid systems.