Egon Börger
Egon Börger (Bad Laer, 13 maggio 1946) è un matematico e informatico tedesco.
Biografia
[modifica | modifica wikitesto]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]- 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
[modifica | modifica wikitesto]- ^ Logica della scienza dei computer
- ^ Home - Abstract State Machines Research Center, su asmcenter.org. URL consultato il 25 giugno 2021 (archiviato dall'url originale il 16 dicembre 2014).
- ^ international ASM workshops
- ^ Humboldt foundation
Voci correlate
[modifica | modifica wikitesto]Altri progetti
[modifica | modifica wikitesto]
Wikimedia Commons contiene immagini o altri file su Egon Börger
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Egon Börger, su Mathematics Genealogy Project, North Dakota State University.
- 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 |
|---|
