Dr. María-del-Mar Gallardo is an associate professor at the Universidad de Málaga (Spain). Her research interests involve the development and use of formal methods and testing technology to improve the quality of software. She currently leads the project Check-it, focused to developing a testing platform for services over LTE combining both formal methods and techniques from the communication software community. She has participated in several national research projects and contracts related with this theme as well as in FP7 projects like SAID or FED4FIRE.
+34 951952959 / +34 952132797