Ana Rosa Cavalli
Curriculum
Ana Rosa Cavalli has obtained her Doctorat d'Etat es Mathematics Science and Informatics, from the University of Paris VII, in 1984. In 1981, she integrated the LITP ((Laboratoire d'Informatique Théorique et Programmation), C.N.R.S., Paris, where she worked on proof methods for temporal logics and their application to communication protocols.
From 1985 to 1990, she was a researcher in the department Languages and Switch Systems, at CNET (Centre National d'Etudes des Telecommunications), where she worked on software engineering and formal methods.
She is Full Professor at TELECOM & Management SudParis (ex Institut National des Telecommunications) since 1990. She is the director of the Software for Networks department. She is also responsible of the research team "Verification and test of services and protocols" and the AVERSE team, in the CNRS research laboratory SAMOVAR.
Her research interests are on specification and verification, testing methodologies for conformance and interoperability testing, active testing and monitoring techniques, the validation of security properties and their application to services and protocols. She is the leader of the European Marie Curie network TAROT (Training and Research on Testing) and participates to several national and international projects: ASK IT, NetLab, POLITESS, WebMov, SHIELDS, CARRIOCAS, Robust Testing.
She is member of the Steering Committee of the IFIP TESTCOM conference and also member of the Program Committee of numerous international conferences : IFIP FORTE, IEEE ICNP, IEEE ICST, IFIP CFIP, SARSII, AMOST-T, SETOP, IEEE ICST, QESS. She has been co-chair of TESTCOM'95, SDL'97, PSTV/FORTE'98, ICNP'2002 et CFIP'2003. She will be domain chair of ICNP 2009, and co-chair of the IEEE ICST 2010 and SETOP 2010 conferences.
She has published more than 120 papers in journals and international conferences of high quality.
