Mihaela Sighireanu is Associate Professor in Computer Science at the University of Paris. She is teaching in the Department of Computer Science and at EIDD.
She is member of the IRIF research institute, in the verification team. 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 obtained the habilitation to direct research (HDR) in 2014 from University of Paris Diderot. She was post-doctoral researcher at INRIA in the groups of Alain Girault and Yves Sorel. 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 Hubert Garavel, 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.