Egon Börger
Da Wikipedia, l'enciclopedia libera.
Egon Börger (Bad Laer, 1946) è un matematico e informatico tedesco.
Ha studiato alla Sorbona di Parigi (Francia), all'Università di Lovanio e all'Istituto 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 sotto il nome di Abstract state machines (ASM). Dal 1985 ha una cattedra di informatica all'Università di Pisa. Nel 2007 ha ricevuto il premio Humboldt.
[modifica] 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.