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. 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.

[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