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.

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 "