[mihaela2014.jpg] Mihaela Sighireanu
Associate Professor
University of Paris Diderot

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).
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.
Last modified: Tue Apr 28 20:43:05 CEST 2015