Curriculum Vitae
Mihaela Sighireanu

Maître de Conférences, University of Paris Diderot, France

Professional Address

Mailing Address: University of Paris 7, LIAFA, case 7014
  2, place Jussieu, 75251 Paris Cedex 05, France
Phone: +(33) 1 44 27 54 19
Fax: +(33) 1 44 27 68 49
E-mail: Mihaela.Sighireanu@liafa.jussieu.fr
WEB: http://www.liafa.jussieu.fr/~sighirea/

Education

January 1999:
Ph. D. in Computer Science, Joseph Fourier University, Grenoble. Subject: Contribution to the definition and to the implementation of the Extended-LOTOS language. Advisor: Hubert Garavel. Ph.D. thesis carried out in the team VASY, at INRIA Rhône-Alpes. Mention: "Tres Honorable"
1995:
"Diplôme d'Etudes Approfondies" (Master degree) in Computer Science, INPG, Grenoble. Subject: Compilation techniques for ADTs in view of model-checking. Master thesis project carried out at the VERIMAG laboratory. Mention: "Bien" (GPA 15.56/20).
1994:
Graduate engineer diploma in Computer Science at the "Politehnica" University of Bucarest, Romania. GPA: 9.9/10.

Prizes

1990:
2nd price to the Romanian Professional Competition of Physics.
1990:
3rd price to the Romanian Professional Competition of Mathematics.
1989:
1st price to the regional competitions of Mathematics and Physics and 16th position at the Romanian Olympiad of Mathematics.

Employement

since September 1999:
Maître de Conférences (Assistant Professor) at the University of Paris Diderot
December 1998 - September 1999:
Post-doctoral researcher in the teams Bip and SoSSo of INRIA (National Institute of Research in Computer Science and Automatic). Work on automatic generation of fault tolerant code for real-time, embedded systems.
June 1993 - February 1994:
Training engineer in Computer Science at the Research Center for the Problems the Sport, Bucarest. Work on a tool of evaluation of the evolution of pupils' physical performance.

Research Activities

See my special page.

Normalization Activities

1996/98: Official delegate of Romania at the normalization group ISO/IEC JTC1/SC7/WG14 Enhancements to LOTOS; organization of a meeting at Grenoble (December 1996) (see http://www.inrialpes.fr/vasy/elotos/)

Teaching Activities

My teaching activities and proposals for student projects may be found at my special page.

Selected Publications

The up-to-dated list can be obtained from my site.

Languages

Valid HTML 4.0!      Last modified: 10/01/11      Back to Mihaela's Home Page