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