Petite photo de Didier Bert Didier BERT : Curriculum Vitæ logo to access English pages

Docteur d'Etat ès Sciences, Spécialité Informatique.

Thèse d'Etat soutenue en 1979 à l'Université Joseph Fourier (Grenoble): "La programmation générique: construction de logiciel, spécification algébrique et vérification"

Situation actuelle

  • Chargé de Recherche au CNRS.
  • Membre du groupe WG1.3 de l'IFIP: Foundations of System Specification.
  • Membre du groupe CoFI (Common Framework Initiative for Algebraic Specification and Development).
  • Président de l'association pour les conférences B : APCB.
  • Responsable du site B de Grenoble et coordinateur du groupe B du GDR ALP.
logo du Site B Grenoble

Membre des Comités de Programme

  • IFM2007 - Sixth International Conference on Integrated Formal Methods
    Oxford, UK, 2-5 July 2007.
  • B2007 - Seventh International B Conference
    Besançon, F, 17-19 January 2007.
  • UTP'06 - First International Symposium on Unifying Theories of Programming
    Walworth Castle, Darlington, England, UK, 5-7 February 2006.
  • IFM2005 - Fifth International Conference on Integrated Formal Methods
    Eindhoven, The Netherlands, 30 Nov.-2 Dec., 2005.
  • IFM2004 - Fourth International Conference on Integrated Formal Methods
    Canterbury, Kent, England, April 5-7, 2004.
  • ZB 2003 - The 3rd International Conference on B and Z (président du CP B, co-éditeur des actes)
    Turku, Finland, 4-6 June 2003.
  • IFM2002 - 3rd International Workshop on Integrated Formal Methods
    Turku, Finland, 15-18 May 2002
  • ZB2002 - 13th International Conference of Z Users and 4th International Conference of B Users (président du CP B, co-éditeur des actes)
    Grenoble, 23-25 January 2002.
  • ZB2000 -12th Int. Conference of Z Users and the 3rd Int. Conference of B Users,
    York, UK, 29 aug.-2 sept. 2000
  • WADT'99 - 14th Workshop on Algebraic Development Techniques, (organisateur, co-éditeur des actes)
    Château de Bonas, Gers, 15-18 septembre 1999.
  • B'98 - 2ème Conférence B (président, éditeur des actes)
    Montpellier, avril 22-24, 1998.

Activités d'enseignement