Biography for Didier Begay Name: Didier Begay Organization: University of Bordeaux E-mail: begay@labri.u-bordeaux.fr Go to the abstract

Didier BEGAY CNRS - LaBRI/MVTsi Université de Bordeaux 351 avenue de la Libération 33405 TALENCE Cedex France

Thèse d'informatique de l'université Paris 7 (79)

My field of interest is the software techniques involved in reliability and dependability of computerized systems. More precisely, my works deal with using effectively so-called "formal methods" during industrial development projects. The aim is to contribute to an experimental bais for the methodology of formal techniques in different application domains.

During the years 93 to 96, fields covered included embedded metering system (The embedded software of an electricity meter: an experience in using formal methods in an industrial project (with A. Arnold et J.-P. Radoux) ; in FMTA special issue, A. Tarlecki ed., Sci. Comp. Prog., 1996) and telecommunications protocols (Model-checking et validation de protocoles (avec M.-H. Skubiszewska) ; Revue des télécommunications, 1996; and Méthodes formelles pour la conception et la validation de services (avec M. Alabau) ; Revue des télécommunications, 1997).