Egon Börger

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é
allemandeVoir et modifier les données sur Wikidata
Domicile
PiseVoir et modifier les données sur Wikidata
Formation
Université de Paris
UCLouvain
Université de MünsterVoir et modifier les données sur Wikidata
Activités
Mathématicien, informaticien, ingénieurVoir et modifier les données sur Wikidata
Autres informations
A travaillé pour
Membre de
Academia Europaea ()Voir et modifier les données sur Wikidata
Directeur de thèse
Dieter Rödding (en)Voir et modifier les données sur Wikidata
Distinction

modifier - modifier le code - modifier WikidataDocumentation du modèle

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

Biographie

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

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).
  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

  • Notices d'autoritéVoir et modifier les données sur Wikidata :
    • VIAF
    • ISNI
    • BnF (données)
    • IdRef
    • LCCN
    • GND
    • Italie
    • Belgique
    • Pays-Bas
    • Israël
    • NUKAT
    • Tchéquie
    • WorldCat
  • Egon Börger page d'accueil
  • Publications, etc.
  • Curriculum Vitae
  • Ressources relatives à la rechercheVoir et modifier les données sur Wikidata :
    • Digital Bibliography & Library Project
    • Mathematics Genealogy Project
    • ORCID
  • (en) « Liste de publications », sur Microsoft Academic Search (en)
  • icône décorative Portail de l’informatique
  • icône décorative Portail de l’Italie
  • icône décorative Portail de l’Allemagne