Egon Börger Explained

Egon Börger
Birth Place:	Bad Laer, Osnabrück, Lower Saxony, Germany
Field:	Computer science
Work Institution:	University of Pisa
Alma Mater:	Sorbonne Université Catholique de Louvain University of Münster
Doctoral Advisor:	Dieter Rödding
Thesis Title:	Reduktionstypen in Krom- und Hornformeln
Thesis Url:	https://logic-library.berkeley.edu/catalog/detail/1211
Thesis Year:	1971
Awards:	Humboldt Research Award (2007)

Egon Börger (born 13 May 1946^[1]) is a German-born computer scientist based in Italy.

Life and work

Börger was born in Bad Laer, Westphalia, Lower Saxony, Germany. Between 1965 and 1971 he studied at the Sorbonne, Paris (France), Université Catholique de Louvain, Institut Supérieur de Philosophie de Louvain and University of Münster (Germany). Between 1972 and 1976, he was at the Università di Salerno in Italy,^[2] where he taught the first courses in the newborn Computer Science Degree. Since 1985 he has held a Chair in computer science at the University of Pisa, Italy. Since September 2010, he has been an elected member of the Academia Europaea.^[3]

Egon Börger is a pioneer of applying logical methods in computer science. He is co-founder of the international conference series CSL.^[4] He is also one of the founders of the Abstract State Machines (ASM) formal method for accurate and controlled design and analysis of computer-based systems ^[5] and cofounder of the series of international ASM workshops,^[6] which in 2008 merged with the regular meetings of the B and Z User Groups to form the international ABZ conference.^[7]

Börger contributed to the theoretical foundations of the method and initiated its industrial applications in a variety of fields, in particular programming languages, System architecture, requirements and software (re-)engineering, control systems, protocols, web services. To this date, he is one of the leading scientists in ASM-based modeling and verification technology, which he has crucially shaped by his activities. In 2007, he received the Humboldt Research Award.^[8]

Festschrifts were produced for Börger's 60th and 75th birthdays.^{[9] [10]}

Selected publications

• Egon Börger and Robert Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis, Springer-Verlag, 2003.
• Egon Börger Computability, Complexity, Logic (North-Holland, Amsterdam 1989, translated from the German original from 1985, Italian Translation Bollati-Borighieri 1989)
• Egon Börger, The Classical Decision Problem (co-authored by E.Graedel and Y.Gurevich), Springer-Verlag 1997,, 2nd Edition as "Universitext", Springer-Verlag 2001,
• Egon Börger, Java and the Java Virtual Machine: Definition, Verification, Validation (co-authored by R. Staerk and J. Schmid), Springer-Verlag, 2001
• Egon Börger and Alexander Raschke, Modeling Companion for Software Pratitioners, Springer, 2018.

External links

• Egon Börger home page
• Publications, etc.
• Curriculum Vitae

Notes and References

1. News: Tribute to Egon Börger on the Occasion of his 60th Birthday . Jean-Raymond . Abrial . Jean-Raymond Abrial . Uwe . Glässer . April 9, 2012 . . Italy .
2. Web site: Egon Boerger CV . December 20, 2022.
3. Web site: Egon Boerger . . April 9, 2012.
4. https://dblp.org/streams/conf/csl Computer Science Logic
5. http://asmcenter.org/ Abstract State Machines Research Center
6. http://www.eecs.umich.edu/gasm/community.html International ASM workshops
7. Book: Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16–18, 2008. Proceedings . Börger . Egon . Butler . Michael . Michael Butler (computer scientist) . Bowen . Jonathan P. . Jonathan Bowen . Boca . Paul . . 5238 . . 978-3-540-87602-1 . 10.1007/978-3-540-87603-8 . 2008 .
8. http://www.humboldt-foundation.de/pls/web/wt_show.text_page?p_text_id=6438&p_stencil_mode=1&p_lang=en&p_forum_mode=1 Humboldt foundation
9. Book: Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday . Jean-Raymond . Abrial . Jean-Raymond Abrial . Uwe . Glässer . . 5115 . . 978-3-642-11446-5 . 10.1007/978-3-642-11447-2 . 2009 .
10. Book: Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday . . Alexander . Raschke . Elvinia . Riccobene . Klaus-Dieter . Schewe . . 978-3-030-76019-9 . 10.1007/978-3-030-76020-5 . 2021 . 12750 . 235326634 .