Accueil🇫🇷Chercher

Egon Börger

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

Egon Börger
Autres informations
A travaillé pour
Membre de
Directeur 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

  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

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.