Biography

Ana Rosa Cavalli obtained her Doctorat d’État in Mathematical Sciences and Informatics from the University of Paris VII in 1984. In 1981, she joined the LITP (Laboratoire d’Informatique Théorique et Programmation), CNRS, Paris, where she worked on proof methods for temporal logics and their applications to communication protocols.

From 1985 to 1990, she was a researcher in the Languages and Switch Systems department at CNET (Centre National d’Études des Télécommunications), where she focused on software engineering and formal methods.

Since 1990, she has been a Full Professor at TELECOM & Management SudParis (formerly Institut National des Télécommunications), where she is currently the Director of the Software for Networks department. She is also responsible for the research teams “Verification and Testing of Services and Protocols” and the AVERSE team at the CNRS research laboratory SAMOVAR.

Her research interests include specification and verification, testing methodologies for conformance and interoperability testing, active testing, monitoring techniques, and the validation of security properties with applications to services and protocols. She is the leader of the European Marie Curie network TAROT (Training and Research on Testing) and participates in several national and international projects, including ASK IT, NetLab, POLITESS, WebMov, SHIELDS, CARRIOCAS, and Robust Testing.

Ana Rosa Cavalli is a member of the Steering Committee of the IFIP TESTCOM conference and serves on the Program Committee of numerous prestigious international conferences, such as IFIP FORTE, IEEE ICNP, IEEE ICST, IFIP CFIP, SARSII, AMOST-T, SETP, IEEE ICST, and QESS. She has co-chaired multiple conferences, including TESTCOM’95, SDL’97, PSTV/FORTE’98, ICNP’2002, and CFIP’2003. She will serve as the domain chair for ICNP 2009 and as co-chair for IEEE ICST 2010 and SETOP 2010.

She has published more than 120 papers in high-quality journals and international conferences.

List of Publications