Mihaela Sichireanu 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 Ahmed Bouajjani. 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 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. Personal links...


Home Page