Department: LENGUAJES Y CIENCIAS DE LA COMPUTACION

Center: E.T.S.I. DE INFORMÁTICA

Institute: INSTITUTO DE TECNOLOGÍA E INGENIERÍA DEL SOFTWARE "JOSÉ MARÍA TROYA LINERO" (ITIS)

Area: Computer Languages and Systems

Research group: INGENIERIA DEL SOFTWARE

Email: laurapanizo@uma.es

Doctor by the Universidad de Málaga with the thesis Hybrid system analysis with finite-state model checkers 2013. Supervised by Dr. María del Mar Gallardo Melgarejo.