Mihaela SIGHIREANU

Professor, ENS Paris-Saclay


Curriculum




Research


My research focuses on models, algorithms, and tools for the verification and analysis of reliable systems, in particular:



Please follow online SAS 2020!

SL-COMP'19 was hosted by TOOLymics 2019 at TACAS 2019



Present and past projects:



Publications


On DBLP, Google Scholar, HAL, and my list.

B. Becker, N. Jeannerod, C. Marché, Y. Régis-Giannas, M. Sighireanu, and R. Treinen: Analysing installation scenarios of Debian packages at TACAS 2020



Teaching


My teaching experience is presented here. Now (fall 2020), I'm teaching:



Software


About LSV

    

Contact

Address
LSV, CNRS & ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France
Office
2U56
Phone
+33 (0)1 81 87 54 65
Fax
+33 (0)1 81 87 75 21
Secr.
+33 (0)1 81 87 75 20
E-Mail
firstname.name@lsv.fr