Michel Bourdellès

Address

INRIA - Projet MEIJE

Centre de Mathématiques Appliquées

2004, route des lucioles

B.P. 93

06902 Sophia-Antipolis CDX

FRANCE

Tel: (33) 93 65 79 52

Fax: (33) 93 95 79 98

Email: mbourdel@sophia.inria.fr

Education

• Until December 1998 Phd candidate in computer Science
  Advisor Robert de Simone
• 1995 DEA in Computer Science (Rennes)
• A short C.V.

Teaching

• I gave lectures (TDs) on {\it ``Outils Formels pour l'Informatique''} at
  the Universit\a'e de Nice Sophia Antipolis (DEUG second year).
  
• I give lectures (CMs/TDs/TPs) on the langage JAVA at
  the Universit\a'e de Nice Sophia Antipolis (Licence M.A.S.S).

  ---

  
  Involved in the VERDON joint research action.

  ---

  Tool development

  • fc2symbmin.
    tool developed for the verification of esterel programs.
    tutorial included in the distribution package.
    
  • strldd
    prototype to include data structure in esterel programs for the verification.

  ---

  Communications

  • Research Report "The Steam Boiler Controller Problem in Esterel and its verification by means of symbolic analysis "