Egon Börger
From Wikipedia, the free encyclopedia
Egon Börger
| Naissance | |
|---|---|
| Nationalité | |
| Domicile | |
| Formation |
Université de Paris (en) UCLouvain Université de Münster |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Directeur de thèse |
Dieter Rödding (en) |
| Distinction |
Egon Börger, né le [1], né allemand, est un informaticien basé en Italie.
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 , 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].