Egon Börger

Egon Börger

Egon Börger (Bad Laer, 13 maggio 1946) è un matematico e informatico tedesco.

Biografia

Ha studiato alla Sorbona di Parigi (Francia), all'Università di Lovanio e all'Istituto Superiore di Filosofia di Lovanio (Belgio), all'Università di Münster (Germania) dal 1965 al 1971. Ha vissuto per lungo tempo in Italia: dapprima a Verchiano, poi a Foligno, quindi a Calci. Ha insegnato all'Università degli studi di Salerno nell'a.a.1974-75 nel corso Teoria e applicazione delle macchine calcolatrici.

Börger è noto per aver sposato le algebre evolventi, un metodo formale per la specificazione e la validazione, oggi noto sotto il nome di Abstract state machine (ASM). Dal 1985 ha una cattedra di informatica all'Università di Pisa.

Egon Boerger è un pioniere dei metodi della logica applicata nella scienza dei computer. È cofondatore delle serie di conferenze internazionali CSL[1].

È anche tra i fondatori del metodo Abstract state machine (ASM) per un accurato disegno controllato ed analisi dei sistemi basati su computerfor[2] e cofondatore delle serie di workshop internazionali ASM[3]. Ha contribuito alla fondazione teoretica del metodo ed iniziato la sua applicazione industriale in vari campi, in particolare nel linguaggio di programmazione, nelle architetture di sistema, esigenze e rimodulazione di software, sistemi di controllo, protocolli, servizi web.

Ad oggi è uno dei principali referenti per i modelli basati sull'ASM e tecnologie di verifica, che hanno marcato significativamente la sua attività. Nel 2007 ha ricevuto il prestigioso "premio Humboldt per la ricerca"[4].

Pubblicazioni principali

  • Egon Börger e 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". North-Holland, Amsterdam 1989. (Traduzione italiana Bollati-Borighieri 1989)
  • Egon Börger, "The Classical Decision Problem" (coautori E. Graedel e Y. Gurevich), Springer-Verlag, 1997, ISBN 3-540-57073-X, seconda edizione come "Universitext", Springer-Verlag 2001, ISBN 3-540-42324-9
  • Egon Börger, "Java and the Java Virtual Machine: Definition, Verification, Validation" (coautori R. Stärk e J. Schmid), Springer-Verlag, 2001. ISBN 3-540-42088-6

Note

  1. ^ Logica della scienza dei computer
  2. ^ Home - Abstract State Machines Research Center, su asmcenter.org. URL consultato il 25 giugno 2021 (archiviato dall'url originale il 16 dicembre 2014).
  3. ^ international ASM workshops
  4. ^ Humboldt foundation

Voci correlate

Altri progetti

Altri progetti

  • Wikimedia Commons
  • Collabora a Wikimedia Commons Wikimedia Commons contiene immagini o altri file su Egon Börger

Collegamenti esterni

  • (EN) Egon Börger, su Mathematics Genealogy Project, North Dakota State University. Modifica su Wikidata
  • Home page, su di.unipi.it.
  • Publications, etc., su di.unipi.it.
  • Curriculum Vitae (PDF)
  • pubblicazioni DBLP, su informatik.uni-trier.de.
Controllo di autoritàVIAF (EN) 91868953 · ISNI (EN) 0000 0001 2143 5327 · SBN CFIV068138 · ORCID (EN) 0000-0002-6062-9455 · LCCN (EN) n84088209 · GND (DE) 174088558 · BNF (FR) cb123065641 (data) · J9U (EN, HE) 987007447441705171 · CONOR.SI (SL) 103433571
  Portale Biografie
  Portale Informatica
  Portale Matematica