Egon Börger- Egon Börger

Egon Börger
Boerger.jpg
Geboren 13. Mai 1946 (Alter  ( 1946-05-13 )75)
Bad Laer , Osnabrück , Niedersachsen , Deutschland
Staatsangehörigkeit Deutsche
Alma Mater Sorbonne
Université Catholique de Louvain
Universität Münster
Bekannt für Abstrakte Zustandsmaschinen
Auszeichnungen Humboldt-Forschungspreis (2007)
Wissenschaftlicher Werdegang
Felder Informatik
Institutionen Universität Pisa
These Reduktionstypen in Krom- und Hornformen  (1971)
Doktoratsberater Dieter Rödding

Egon Börger (* 13. Mai 1946) ist ein deutschstämmiger Informatiker mit Sitz in Italien .

Leben und Werk

Börger wurde in Bad Laer , Westfalen , Niedersachsen , Deutschland geboren . Zwischen 1965 und 1971 studierte er an der Sorbonne , Paris ( Frankreich ), der Université Catholique de Louvain , dem Institut Supérieur de Philosophie de Louvain und der Universität Münster (Deutschland). Seit 1985 hat er einen Lehrstuhl für Informatik an der Universität Pisa inne . Seit September 2010 ist er gewähltes Mitglied der Academia Europaea .

Egon Börger ist ein Pionier der Anwendung logischer Methoden in der Informatik. Er ist Mitbegründer der internationalen Konferenzreihe CSL. Er ist auch einer der Begründer der formalen Methode der Abstract State Machines (ASM) zum genauen und kontrollierten Entwurf und der Analyse computerbasierter Systeme und Mitbegründer der Reihe internationaler ASM-Workshops, die 2008 mit den regelmäßigen Treffen der B und Z User Groups zur internationalen ABZ-Konferenz.

Börger trug zu den theoretischen Grundlagen der Methode bei und initiierte ihre industriellen Anwendungen in einer Vielzahl von Bereichen, insbesondere Programmiersprachen , Systemarchitektur , Requirements und Software (Re-)Engineering, Steuerungssysteme , Protokolle , Webservices . Bis heute ist er einer der führenden Wissenschaftler in der ASM-basierten Modellierungs- und Verifikationstechnologie, die er durch seine Tätigkeit maßgeblich geprägt hat. 2007 erhielt er den Humboldt-Forschungspreis .

Zu Börgers 60. und 75. Geburtstag entstanden Festschriften.

Ausgewählte Publikationen

  • Egon Börger und 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 Computability, Complexity, Logic (Nord-Holland, Amsterdam 1989, übersetzt aus dem deutschen Original von 1985, italienische Übersetzung Bollati-Borighieri 1989)
  • Egon Börger, The Classical Decision Problem (mitverfasst von E.Graedel und Y.Gurevich), Springer-Verlag 1997, ISBN  3-540-57073-X , 2. Auflage als "Universitext", Springer-Verlag 2001, ISBN  3- 540-42324-9
  • Egon Börger, Java and the Java Virtual Machine: Definition, Verification, Validation (Co-Autor R. Staerk und J. Schmid), Springer-Verlag ISBN  3-540-42088-6 , 2001
  • Egon Börger und Alexander Raschke, Modeling Companion for Software Pratitioners , Springer , 2018. ( ISBN  978-3-662-56639-8 , doi : 10.1007/978-3-662-56641-1 )

Verweise

Externe Links