Mihaela Sighireanu Associate Professor IRIF University Paris Diderot
Contact	Office: SG 4021 Phone: +(33) 1 57 27 94 01 E-mail: firstname.lastname@irif.fr Fax: +(33) 1 57 27 93 36 Mail: University Paris Diderot / IRIF / Sophie Germain Building 8 place Aurélie Nemours / F-75013 Paris France Venue: directions
Curriculum	Biographical sketch Academic CV My HDR defense
Publications	My list, DBLP, Google Scholar Raphaël Cauderlier and Mihaela Sighireanu: A Verified Implementation of the Bounded List Container at TACAS 2018
NEWS	SL-COMP'18 is hosted by ADSL Workshop at FLOC 2018 AVoCS'18 is hosted by FM'18 at FLOC 2018 GT Verif 2018 at Grenoble
Research	My research focuses on models, algorithms, and tools for the verification and analysis of reliable systems, in particular: software analysis and verification (see also tool CELIA, projects Vecolib and Colis), decision procedures for program logics (see also solver Spen and SL-COMP'14), timed and parameterized systems (see also TReX), model-checking (see also CADP), fault tolerance, specification languages (see also TRAIAN).
Teaching	Courses at UFR d'Informatique, Courses at EIDD, Past courses, internships, services.
Software	SPEN: solver for Separation Logic, Celia: verification and analysis of C programs with lists, Spade: analysis of Synchronized PAD, Press: bounded reachability in PRS, TReX: verification of parameterized extended automata, TRAIAN: compiler for LNT data structures, CADP: toolbox for model-checking, DC2SDX: translator of synchronous languages common format.