Mihaela Sighireanu

Maître de Conférences (Assistant Professor) at the University Paris Diderot
Researcher at LIAFA

Mailing address: University Paris Diderot, LIAFA
case 7014, 2 place Jussieu, 75251 Paris Cedex 05, FRANCE
Office address: room 6A7, 175 rue du Chevaleret, 75013 Paris, FRANCE
E-mail: Mihaela_DOT_Sighireanu_AT_liafa_DOT_univ-paris-diderot_DOT_fr
Phone: +(33) 1 57 27 92 45
Fax: +(33) 1 57 27 93 36
Web: http://www.liafa.univ-paris-diderot.fr/~sighirea/

BARRE

REDBALL Research (software verification, model checking, LOTOS, LOTOS NT, E-LOTOS, fault tolerance)
REDBALL Projects
REDBALL Publications
REDBALL Software (Celia, CINV, Spade, Press, TReX, TRAIAN, CADP, DC2SDX)
REDBALL Teaching (notes in French, proposals for student projects)
REDBALL Personal links

BARRE

Valid HTML 4.0! Last modified: Tue Apr 10 10:22:20 CEST 2012