Egon Börger
Egon Börger, né le [1], né allemand, est un informaticien basé en Italie.
Egon Börger
| Naissance | |
|---|---|
| Nationalité | |
| Domicile | |
| Formation | |
| Activités |
| A travaillé pour | |
|---|---|
| Membre de | |
| Dir. de thèse |
Dieter Rödding (en) |
| Distinction |
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
- Notices d'autorité :
- Fichier d’autorité international virtuel
- International Standard Name Identifier
- Bibliothèque nationale de France (données)
- Système universitaire de documentation
- Bibliothèque du Congrès
- Gemeinsame Normdatei
- Service bibliothécaire national
- Bibliothèque royale des Pays-Bas
- Bibliothèque nationale d’Israël
- Bibliothèque universitaire de Pologne
- Bibliothèque nationale tchèque
- WorldCat
- Egon Börger page d'accueil
- Publications, etc.
- Curriculum Vitae
- Ressources relatives à la recherche :
- (en) « Liste de publications », sur Microsoft Academic Search (en)
Portail de l’informatique 
Portail de l’Italie 
Portail de l’Allemagne
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.