Egon Börger
Egon Börger ( Bad Laer , 1946 ) este un matematician și informatician german .
Biografie
A studiat la Sorbona din Paris ( Franța ), la Universitatea din Louvain și la Institutul Superior de Filosofie din Louvain ( Belgia ), la Universitatea din Münster ( Germania ) din 1965 până în 1971 . A trăit mult timp în Italia: mai întâi la Verchiano , apoi la Foligno , apoi la Calci .
Börger este cunoscut pentru că a susținut algebre în evoluție , o metodă formală de specificare și validare, cunoscută acum sub numele de mașina de stare abstractă (ASM). Din 1985 a ocupat o catedră în informatică la Universitatea din Pisa .
Egon Boerger este un pionier al metodelor de logică aplicată în informatică. Este cofondator al seriei de conferințe internaționale CSL [1] .
El este, de asemenea, un fondator al metodei Abstract State Machine (ASM) pentru proiectarea și analiza controlată precisă a sistemelor computerizate pentru [2] și co-fondator al seriei de ateliere internaționale ASM [3] . A contribuit la fundamentarea teoretică a metodei și a început aplicarea sa industrială în diverse domenii, în special în limbajul de programare , în arhitecturi de sisteme , nevoi și remodelare de software , sisteme de control , protocoale , servicii web .
Astăzi este unul dintre principalii referenți pentru modele bazate pe ASM și tehnologii de verificare, care i-au marcat în mod semnificativ activitatea. În 2007 a primit prestigiosul „ Premiu de cercetare Humboldt ” [4] .
Notă
- ^ Informatică logică
- ^ Acasă - Centrul de cercetare a mașinilor de stat abstracte , la asmcenter.org . Adus la 25 iunie 2021 (Arhivat din original la 16 decembrie 2014) .
- ^ ateliere internaționale ASM
- ^ Fundația Humboldt
Bibliografie minimă selectată
- Egon Börger și Robert Stärk, " Mașini de stat abstracte: o metodă pentru proiectarea și analiza sistemului la nivel înalt " , Springer-Verlag, 2003 . ISBN 3-540-00702-4
- Egon Börger, „Computabilitate, complexitate, logică” . North-Holland, Amsterdam 1989. (traducere în italiană Bollati-Borighieri 1989)
- Egon Börger, „Problema deciziei clasice” (co-autori E. Graedel și Y. Gurevich), Springer-Verlag, 1997, ISBN 3-540-57073-X , ediția a doua ca „Universitext”, Springer-Verlag 2001, ISBN 3- 540-42324-9
- Egon Börger, „Java și mașina virtuală Java: definiție, verificare, validare” (coautori R. Stärk și J. Schmid), Springer-Verlag, 2001. ISBN 3-540-42088-6
Elemente conexe
linkuri externe
- Pagina principală , pe di.unipi.it .
- Publicații etc. , pe di.unipi.it .
- Curriculum Vitae ( PDF )
- Publicații DBLP , pe informatik.uni-trier.de .
Controlul autorității | VIAF (EN) 91.868.953 · ISNI (EN) 0000 0001 2143 5327 · LCCN (EN) n84088209 · GND (DE) 174 088 558 · BNF (FR) cb123065641 (data) · WorldCat Identities (EN) lccn-n84088209 |
---|