Egon Börger
Egon Börger (* 13. Mai 1946 in Bad Laer[1]) ist ein deutscher Logiker und Informatiker. Er lehrte bis zu seiner Emeritierung 2011 an der Universität Pisa. Egon Börger hat die formale Methode der Abstract State Machine (ASM) für die Hardware- und Softwareentwicklung mitbegründet.
Leben und Werk
BearbeitenBörger wurde am 13. Mai 1946 in Bad Laer, Niedersachsen geboren. 1965 bis 1971 studierte er an der Sorbonne, am Supérieur de Philosophie de Louvain der Université Catholique de Louvain und an der Universität Münster. 1985 bis zu seiner Emeritierung 2011 hatte er einen Lehrstuhl in Informatik an der Universität Pisa. Seit September 2010 ist Egon Börger Mitglied der Academia Europaea.[2]
Egon Börger ist ein Pionier der Anwendung von Logik und formaler Methoden in der Informatik und im Software Engineering. Er ist Mitbegründer der internationalen Konferenzserie Computer Science Logic (CSL).[3] Er ist auch einer der Begründer der formalen Methode der Abstract State Machine (ASM) für die präzise Spezifikation und Analyse computerbasierter Systeme. Egon Börger hat die Reihe der internationalen ASM-Workshops[4] mit aufgebaut, die 2008 in die ABZ Conference mündete[5].
Börger hat nicht nur zur theoretischen Fundierung der Methode der Abstract State Machine beigetragen, sondern auch ihre Anwendung in vielen Bereichen initiiert und vorangetrieben, so etwa in den Bereichen der Programmiersprachen, der Systemarchitektur, des Requirements Engineering, der Steuerungssysteme, der Protokolle und der Web-Services. Bis heute ist er einer der führenden Wissenschaftler auf dem Gebiet der formalen Methoden, die er durch seine Tätigkeit maßgeblich geprägt hat.
Zu seinem 60. und zu seinem 75. Geburtstag wurden Festschriften geschrieben.[6][7]
Werke (Auswahl)
Bearbeiten- Egon Börger, Robert Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis, Springer 2003.
- Egon Börger Berechenbarkeit, Komplexität, Logik: Eine Einführung in Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität, 3., verb. und erw. Aufl., Vieweg 1992.
- Egon Börger, Erich Grädel, Yuri Gurevich: The Classical Decision Problem, Springer-Verlag 1997, 2te Auflage als Universitext, Springer 2001.
- Egon Börger, Robert Stärk, Joachim Schmid: Java and the Java Virtual Machine: Definition, Verification, Validation, Springer 2001.
- Egon Börger, Alexander Raschke: Modeling Companion for Software Practitioners, Springer 2018.
Weblinks
Bearbeiten- Egon Börgers Internetauftritt an der Universität Pisa
- Publikationsliste
- Lebenslauf
- Publikationsliste auf DBLP
- Literatur von und über Egon Börger im Katalog der Deutschen Nationalbibliothek
Einzelnachweise
Bearbeiten- ↑ Jean-Raymond Abrial, Uwe Glässer: Tribute to Egon Börger on the Occasion of his 60th Birthday. Abgerufen am 16. Juni 2021.
- ↑ Egon Boerger. Academia Europaea, abgerufen am 16. Juni 2021.
- ↑ Computer Science Logic, DBLP.
- ↑ International ASM workshops, University of Michigan.
- ↑ ABZ 2021 in Ulm. Abgerufen am 16. Juni 2021.
- ↑ Jean-Raymond Abrial, Uwe Glässer (Hrsg.): Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 5115, Springer-Verlag 2009.
- ↑ Alexander Rachke, Elvinia Riccobene, Klaus-Dieter Schewe: Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday, Lecture Notes in Computer Science 12750, Springer-Verlag 2021.
| Personendaten | |
|---|---|
| NAME | Börger, Egon |
| KURZBESCHREIBUNG | deutscher Logiker und Informatiker |
| GEBURTSDATUM | 13. Mai 1946 |
| GEBURTSORT | Bad Laer |