Egon Börger
matematico e informatico tedesco
Template:Stub informatica Egon Börger è uno scienziato informatico, nato a Bad Laer (Bassa Sassonia, Germania) nel 1946. Ha studiato alla Sorbona di Parigi (Francia), all'Università di Lovanio e all'Istituo Superiore di Filosofia di Lovanio (Belgio), all'Università di Münster (Germania) dal 1965 al 1971. Ha vissuto per lungo tempo a Foligno.
Börger è noto per aver sposato le algebre evolventi, un metodo formale per la specificazione e la validazione, oggi noto come Macchine a Stati Astratti (ASM). Dal 1985 ha una cattedra di informatica all'Università di Pisa.
Bibliografia minima selezionata
- Egon Börger e Robert Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis, Springer-Verlag, 2003. (ISBN 3-540-00702-4)
- Egon Börger, Abstract state machines and high-level system design and analysis. Theoretical Computer Science, 336(2–3):205–207, 2005.