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

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

Collegamenti esterni

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

Read other articles:

SpamAssassin

E-mail yang dideteksi sebagai spam oleh SpamAssassin SpamAssassin adalah program komputer yang dijalankan pada Apache rilis 2.0 dan dipakai untuk menyaring spam terhadap surat elektronik yang masuk. Prinsip kerja dari SpamAssassin ini adalah berdasarkan pengecekan isi e-mail (content-matching rules), pengecekan alamat DNS, pengecekan checksum isi, dan berdasarkan pada penyaringan secara statistik, yang didukung oleh basis data online. SpamAssassin ini secara umum dianggap paling efektif dalam...

 

Ale jahe

Artikel ini bukan mengenai Bir jahe. Ale jaheSegelas ale jahe VernorsJenisMinuman campuran non-alkoholNegara asalIreland, CanadaDiperkenalkan1851WarnaEmasRasaHageVarianAle jahe emas dan ale jahe kering Ale jahe adalah sebuah minuman ringan berkarbonasi yang diberi rasa jahe. Minuman tersebut diminum sendiri atau dipakai sebagai campuran, sering kali dengan minuman berbahan dasar sprite. Terdapat dua jenis utama ale jahe. Jenis emas diciptakan oleh dokter Irlandia, Thomas Joseph Cantrell. Jeni...

 

Sketsa (acara televisi)

Untuk kegunaan lain, lihat Sketsa (disambiguasi). SketsaSketsa Trans TVGenreKomedi sketsaPembuatTransinema PicturesNegara asalIndonesiaBahasa asliBahasa IndonesiaJmlh. musim7Jmlh. episode1083ProduksiDurasi45 menitDistributor Trans Media Transinema Pictures Rilis asliJaringanTrans TVFormat gambar576i 4:3 SDTVFormat audioStereoDolbyRilisJumat, 14 Maret 2008 –Minggu, 8 Februari 2015 Sketsa adalah sebuah acara televisi komedi Trans TV berupa sebuah sketsa verbal yang bersifat menghibur, ya...

1942 Qantas Short Empire shootdown

1942 aviation accident 1942 Qantas Short Empire shootdownVH-ABB, a Qantas Short Empire similar to the aircraft involved.AccidentDate30 January 1942SummaryShootdownSiteWest Timor, Dutch East IndiesAircraftAircraft typeShort Empire S.23OperatorQantasRegistrationG-AEUHFlight originEl Tari International AirportDestinationDarwin International AirportOccupants18Fatalities13Survivors5 The 1942 Qantas Short Empire shoot-down was an incident that occurred in the early days of the Pacific War duri...

 

Shemini (parsyah)

Artikel ini bukan mengenai Shemini Atzeret. Dua Imam Dimusnahkan (warna cair sekitar tahun 1896–1902 karya James Tissot) Shemini, Sh'mini, atau Shmini (שְּׁמִינִי — Ibrani untuk kedelapan, kata ketiga dan kata distinsif pertama, dalam parsyah tersebut) adalah Bacaan Taurat Mingguan (פָּרָשָׁה, parashah) ke-26 dalam siklus bacaan Taurat Yahudi tahunan dan ketiga dalam Kitab Imamat. Parsyah Shemini mengisahkan penahbisan Tabernakel, kematian Nadab dan Abihu, dan hukum pan...

 

العلاقات الأرمينية الموزمبيقية

العلاقات الأرمينية الموزمبيقية أرمينيا موزمبيق   أرمينيا   موزمبيق تعديل مصدري - تعديل   العلاقات الأرمينية الموزمبيقية هي العلاقات الثنائية التي تجمع بين أرمينيا وموزمبيق.[1][2][3][4][5] مقارنة بين البلدين هذه مقارنة عامة ومرجعية للدولتين: و�...

Supercupa României 2017

Voce principale: Supercupa României. Supercupa României 2017Supercupa României 2017 Competizione Supercupa României Sport Calcio Edizione 19ª Organizzatore FRF Date 9 luglio 2017 Luogo Botoșani Partecipanti 2 Formula Gara unica Impianto/i Stadionul Municipal Risultati Vincitore Voluntari(1º titolo) Secondo Viitorul Costanza Statistiche Incontri disputati 1 Gol segnati 1 (1 per incontro) Cronologia della competizione 2016 2018 Manuale La Supercupa României 2017 è stata la 19ª e...

 

Pro Patria et Libertate Unione degli Sports Bustesi 1919-1920

Voce principale: Aurora Pro Patria 1919. Pro Patria et Libertate Unione degli Sports BustesiStagione 1919-1920Sport calcio Squadra Pro Patria AllenatoreCommissione Tecnica Presidente Carlo Castiglioni[1][2] Promozione1º posto nel girone A delle qualificazioni, 4º posto nel girone finale lombardo. Maggiori presenzeCampionato: Marcora e Fasoli (18) Miglior marcatoreCampionato: Crosta (7) StadioStadium di via Valle Olona 1920-1921 Si invita a seguire il modello di voce Qu...

 

1993 European Cup Winners' Cup final

Football match1993 European Cup Winners' Cup FinalMatch programme coverEvent1992–93 European Cup Winners' Cup Parma Antwerp 3 1 Date12 May 1993VenueWembley Stadium, LondonRefereeKarl-Josef Assenmacher (Germany)Attendance37,393← 1992 1994 → The 1993 European Cup Winners' Cup Final was a football match contested between Parma of Italy and Antwerp of Belgium. The final was held at Wembley Stadium in London, England on 12 May 1993. It was the final match of the 1992–93 European C...

Египтопитек

† Египтопитек Реконструкция внешнего вида египтопитека Научная классификация Домен:ЭукариотыЦарство:ЖивотныеПодцарство:ЭуметазоиБез ранга:Двусторонне-симметричныеБез ранга:ВторичноротыеТип:ХордовыеПодтип:ПозвоночныеИнфратип:ЧелюстноротыеНадкласс:Четвероно...

 

Cabinet Room (White House)

Meeting room for the Cabinet of the United States The cabinet of Barack Obama meeting in November 2009 Plan of the first (ground) floor of the White House; the Cabinet Room is visible at center. Video about the Cabinet Room and the Cabinet The Declaration of Independence of the United States of America, July 4, 1776, circa 1873 by Charles Édouard Armand-Dumaresq, has been on display in the Cabinet Room since the late-1980s. The Cabinet Room is the meeting room for the officials and advisors ...

 

2020年夏季奧林匹克運動會波蘭代表團

2020年夏季奥林匹克运动会波兰代表團波兰国旗IOC編碼POLNOC波蘭奧林匹克委員會網站olimpijski.pl（英文）（波兰文）2020年夏季奥林匹克运动会（東京）2021年7月23日至8月8日（受2019冠状病毒病疫情影响推迟，但仍保留原定名称）運動員206參賽項目24个大项旗手开幕式：帕维尔·科热尼奥夫斯基（游泳）和马娅·沃什乔夫斯卡（自行车）[1]闭幕式：卡罗利娜·纳亚（皮划艇）&#...

History of baseball in Allentown, Pennsylvania

Coca-Cola Park in Allentown, the home field of the Lehigh Valley IronPigs, the Triple A affiliate of the Philadelphia Phillies The history of professional baseball in Allentown, Pennsylvania dates back 138 years, starting with the formation of the Allentown Dukes in 1884 and continuing through the present with its hosting of the Allentown-based Lehigh Valley IronPigs, the Triple-A Minor League affiliate of the Philadelphia Phillies of Major League Baseball, who play at Coca-Cola Park on the c...

 

قائمة الاكتشافات الأثرية المتعلقة بالكتاب المقدس

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (يونيو 2020) فيما يلي قائمة بالقطع الأثرية التي تخص علم الآثار الكتابية. تحف مختارة ذات أهمية للتسلسل الزمني للكتاب المقدس يسرد الجدول القطع الأثرية التي لها أهمية خاصة �...

 

جوائز الأكاديمية البريطانية للأفلام

جوائز الأكاديمية البريطانية للأفلاممعلومات عامةنوع الجائزة جائزة أفلام البلد المملكة المتحدة مقدمة من الأكاديمية البريطانية لفنون السينما والتلفزيون أول جائزة 29 مايو 1949 موقع الويب awards.bafta.org (الإنجليزية) تعديل - تعديل مصدري - تعديل ويكي بيانات جوائز الأكاديمية البريطانية...

David L. Williams (politician)

American politician For the British film director, see David L. Williams (film director). David WilliamsJudge of the 40th Kentucky Circuit CourtIncumbentAssumed office November 2, 2012Preceded byEddie LovelacePresident of the Kentucky SenateIn officeJanuary 4, 2000 – November 2, 2012Preceded byLarry SaundersSucceeded byRobert StiversMinority Leader of the Kentucky SenateIn officeJanuary 5, 1999 – August 22, 1999Preceded byDan KellySucceeded byDavid KaremMember of the...

 

The Serenity of Suffering

2016 studio album by KornThe Serenity of SufferingStudio album by KornReleasedOctober 21, 2016 (2016-10-21)Recorded2015–2016StudioRock Falcon Studio, Nashville, TennesseeBuck Owens Studio, Bakersfield, CaliforniaSteakhouse Studios, North Hollywood, Los AngelesGenre Nu metal alternative metal Length40:34LabelRoadrunnerProducerNick RaskulineczKorn chronology The Paradigm Shift(2013) The Serenity of Suffering(2016) The Nothing(2019) Singles from The Serenity of Sufferin...

 

الناحية (تقسيم إداري إيراني)

الناحية البلد إيران  جزء من مقاطعة في إيران  تعديل مصدري - تعديل   الناحية أو القضاء ترجم أيضا بلدة (بالفارسية: بخش bakhsh) هو نوع من التقسيم الإداري لإيران ویتشکل المقاطعات. ناحية مركزية (بالفارسية: بخش bakhsh markazi) هي ناحية ضمن المقاطعات. كل محافظة في التقسيم الإدارى الإير�...

1. Fußball-Club Nürnberg Verein für Leibesübungen 1980-1981

Voce principale: 1. Fußball-Club Nürnberg Verein für Leibesübungen. 1. Fußball-Club Nürnberg Verein für LeibesübungenStagione 1980-1981Sport calcio Squadra Norimberga Allenatore Horst Heese (1ª-22ª) Fritz Popp (23ª-31ª) Fred Hoffmann I (32ª-34ª) Bundesliga14º posto Coppa di GermaniaTerzo turno Maggiori presenzeCampionato: Beierlorzer, Eder (33)Totale: Beierlorzer (37) Miglior marcatoreCampionato: Volkert (10)Totale: Volkert (12) StadioStädtisches Stadion Maggior numero d...

 

Championnat du monde de hockey sur glace 2017

Allemagne et France 2017 Généralités Sport Hockey sur glace Organisateur(s) Fédération internationale de hockey sur glace Édition 81e Lieu(x) Paris (France) etCologne (Allemagne) Date du 5 mai 2017au 21 mai 2017 Nations 16 (pour le groupe Élite) Participants 16 (division Élite) Matchs joués 64 Affluence 686 391 spectateurs(10 725 par match) Site(s) Lanxess Arena etAccorHotels Arena Site web officiel iihfworlds2017.com (fr + de + en) Hiérarchie Hi�...