Egon Börger, né le , né allemand, est un informaticien basé en Italie.
Biographie
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
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 CSLOrdinateur de la Science de la Logique, de l'Université de Trèves, en Allemagne..
Publications Egon Börger et Robert Stärk, Résumé de l'État des Machines: Une Méthode de Haut-Niveau du Système de Conception et d'Analyse, Springer-Verlag, 2003. Egon Börger Compilation, de la Complexité, de la Logique (North-Holland, Amsterdam, 1989, traduit de l'allemand d'origine à partir de 1985, Traduction italienne Bollati-Borighieri 1989) Egon Börger, Le Classique Problème de Décision (coécrit par E. Graedel et Y. Gurevich), Springer-Verlag, 1997, , 2e Édition "Universitext", Springer-Verlag, 2001, Egon Börger, de Java et de la Machine Virtuelle Java: Définition, de Vérification, de Validation (coécrit par R. Staerk et J. Schmid), Springer-Verlag , 2001
Notes et références
Liens externes
Egon Börger page d'accueil Publications, etc. Curriculum Vitae
Catégorie:Naissance en Basse-Saxe Catégorie:Personnalité allemande du XXe siècle Catégorie:Personnalité allemande du XXIe siècle Catégorie:Informaticien italien du XXe siècle Catégorie:Informaticien italien du XXIe siècle Catégorie:Informaticien allemand Catégorie:Professeur à l'université de Pise Catégorie:Membre de l'Academia Europaea Catégorie:Étudiant de l'université de Münster Catégorie:Étudiant de l'université de Paris Catégorie:Étudiant de l'université catholique de Louvain Catégorie:Personnalité en méthodes formelles Catégorie:Naissance en mai 1946