Egon Börger
Apparence
Egon Börger
Naissance | |
---|---|
Nationalité | |
Domicile | |
Formation | |
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.
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 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
- 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. (ISBN 3-540-00702-4)
- 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, (ISBN 3-540-57073-X), 2e Édition "Universitext", Springer-Verlag, 2001, (ISBN 3-540-42324-9)
- 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 (ISBN 3-540-42088-6), 2001
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Egon Börger » (voir la liste des auteurs).
- (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 )
- « Egon Boerger », Academia Europaea (consulté le )
- Ordinateur de la Science de la Logique, de l'Université de Trèves, en Allemagne.
Liens externes
- Egon Börger page d'accueil
- Publications, etc.
- Curriculum Vitae
- Ressources relatives à la recherche :
- (en) « Liste de publications », sur Microsoft Academic Search (en)
Catégories :
- Naissance en Basse-Saxe
- Personnalité allemande du XXe siècle
- Personnalité allemande du XXIe siècle
- Personnalité italienne du XXe siècle
- Personnalité italienne du XXIe siècle
- Personnalité allemande liée au secteur de l'informatique
- Informaticien italien
- Professeur à l'université de Pise
- Membre de l'Academia Europaea
- Étudiant de l'université de Münster
- Étudiant de l'université de Paris
- Étudiant de l'université catholique de Louvain
- Personnalité en méthodes formelles
- Naissance en mai 1946