Egon Börger

mathématicien

Egon Börger, né le [1], né allemand, est un informaticien basé en Italie.

Egon Börger
Biographie
Naissance
Voir et modifier les données sur Wikidata (78 ans)
Bad LaerVoir et modifier les données sur Wikidata
Nationalité
Domicile
Formation
Activités
Autres informations
A travaillé pour
Membre de
Directeur de thèse
Dieter Rödding (en)Voir et modifier les données sur Wikidata
Distinction

Biographie

modifier

Egon Börger est né à Bad Laer, en Basse-Saxe, Allemagne. Entre 1965 et 1971, il a étudié à la Sorbonne, Paris (France), l'Université Catholique de Louvain et l'Institut Supérieur de Philosophie de Louvain, l'Université de Münster (Allemagne). Depuis 1985, il a occupé une Chaire de sciences informatiques à l'Université de Pise en Italie. En septembre 2010, il est élu membre de l'Academia Europaea[2]

Börger est un pionnier de l'application de méthodes logiques dans l'informatique. Il est cofondateur de la série de conférences internationales CSL[3]

Publications

modifier

Notes et références

modifier
  1. (en) Abrial, Jean-Raymond and Glässer, Uwe, « Tribute to Egon Börger on the Occasion of his 60th Birthday », Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday, Springer,‎ (lire en ligne, consulté le )
  2. « Egon Boerger », Academia Europaea (consulté le )
  3. Ordinateur de la Science de la Logique, de l'Université de Trèves, en Allemagne.

Liens externes

modifier