Little photo of Didier Bert Didier BERT: Curriculum Vitæ logo pour aller sur les pages en français

Diploma: "Docteur d'Etat ès Sciences", in Computer Science.

Thesis defended in 1979 at the Joseph Fourier University (Grenoble, F): "La programmation générique: construction de logiciel, spécification algébrique et vérification"

Present Situation

  • Chargé de Recherche au CNRS.
  • Member of IFIP working group WG1.3 : Foundations of System Specification.
  • Member of CoFI (Common Framework Initiative for Algebraic Specification and Development) group.
  • Chairman of the Steering Committee for the B Conferences: APCB.
  • Webmaster of the Grenoble B site and coordinator of the B group under the GDR ALP.
logo of Grenoble B Site

Member of Program Committees:

  • 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, 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 September 1999.
  • B'98 - 2nd Conférence B (président, éditeur des actes)
    Montpellier, April 22-24, 1998.

Teaching Activities

  • Course in the DEA Informatique : Systèmes et Communications : "Model-oriented Specification and Rigorous Software Development".
  • Course of the "GRECO-Informatique" (CNRS) "Specification and Validation of Critical Software".
  • Course on the B method at the School for "Young Researchers in Programming" (Ecole des Jeunes Chercheurs en Programmation: EJCP).