Egon Börger
From Wikipedia, the free encyclopedia
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. Between 1965 and 1971 he studied at the University of Paris (France), the Catholic University of Leuven and its Institut Supérieur de Philosophie (Belgium), the University of Münster (Germany).
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.
[edit] 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.
[edit] External links
- Home page
- Publications, etc.
- Curriculum Vitae (PDF)
- Egon Börger bibliography in the DBLP database
 |
This biographical article about a German academic is a stub. You can help by expanding it. |
 |
This article on a computer specialist of Germany is a stub. You can help Wikipedia by expanding it. |
