is an Associate Professor of Computer Science at the
University Paris Diderot.
She is teaching in the
Department of Computer Science
and at EIDD.
She is member of the LIAFA research institute, in the verification group directed by
Her research interests are
software verification and analysis and, in general,
the use of formal methods
for the development of complex systems, whatever their nature (hardware, software, or telecom).
She was post-doctoral researcher at INRIA
in the groups of
Alain Girault and
She obtained a PhD in in Computer Science, Joseph Fourier University, Grenoble, on "Contribution to the definition and to the implementation of the Extended-LOTOS
language" under the direction of
an M.Sc. degree (DEA) in Computer Science from INPG, Grenoble,
and an engineer diploma in Computer Science at the "Politehnica" University of Bucarest, Romania.
She was an official delegate of Romania at the normalization group ISO/IEC JTC1/SC7/WG14 Enhancements to LOTOS.