Egon Börger

Da Wikipedia, l'enciclopedia libera.
(Reindirizzamento da Egon Boerger)
Vai alla navigazione Vai alla ricerca
Egon Börger

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

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

[modifica | modifica wikitesto]
  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

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
Controllo di autoritàVIAF (EN91868953 · ISNI (EN0000 0001 2143 5327 · SBN CFIV068138 · ORCID (EN0000-0002-6062-9455 · LCCN (ENn84088209 · GND (DE174088558 · BNF (FRcb123065641 (data) · J9U (ENHE987007447441705171 · CONOR.SI (SL103433571