Egon Börger
Encyclopedia : E : EG : EGO : Egon Börger
Egon Börger (born 1946) is a German-born computer scientist based in Italy.
Professor Egon Börger was born in Bad Laer, Lower Saxony, Germany. He studied at the Sorbonne, Paris (France), University of Louvain and Institut Supérieur de Philosophie de Louvain (Belgium), University of Münster, (Germany) from 1965 to 1971.
Börger is well-known for espousing Evolving Algebras, a formal method for specification and verification, now known as Abstract State Machines (ASM). Since 1985 he has held a Chair in computer science at the University of Pisa, Italy.
Selected publications
- Egon Börger and 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.
External links
- [Home page]
- [Publications, etc.]
- [Curriculum Vitae] (PDF)
- [Egon Börger bibliography] in the DBLP database
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.