Mihaela Sighireanu Associate Professor LIAFA University of Paris Diderot
Coordinates	Office: SG 4021 Phone: +(33) 1 57 27 94 01 E-mail: firstname.lastname@liafa.univ-paris-diderot.fr Fax: +(33) 1 57 27 93 36 Mail: University Paris Diderot / LIAFA (case 7014) / Sophie Germain Building 8 place Aurélie Nemours / F-75013 Paris France Venue: directions
Curriculum	Biographical sketch Academic CV
Publications	My list, DBLP, Google Scholar
	Report on SL-COMP'14 (JSAT) Post-doctoral position available in the Vecolib project. Compositional Entailment Checking for a Fragment of Separation Logic (APLAS 2014) My HDR defense
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 CELIA, Spen), 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 ofr LNT data structures, CADP: toolbox for model-checking, DC2SDX: translator of synchronous languages common format.