エゴン・ボルガー

エゴン・ベルガー（1946年5月13日生まれ^{[ 2 ]}）は、イタリアを拠点とするドイツ生まれのコンピュータ科学者である。

ベルガーはドイツ、ニーダーザクセン州、ヴェストファーレン地方のバート・ラーで生まれた。1965年から1971年にかけて、パリのソルボンヌ大学（フランス）、ルーヴァン・カトリック大学、ルーヴァン高等哲学研究所、ミュンスター大学（ドイツ）で学んだ。1972年から1976年にかけて、イタリアのサレルノ大学^{[ 3 ]}に在籍し、新設されたコンピュータ科学の学位課程で最初の講義を担当した。1985年以来、イタリアのピサ大学でコンピュータ科学の教授職を務めている。2010年9月以来、アカデミア・エウロパエアの会員に選出されている^{[ 4 ]}。

エゴン・ベルガーは、コンピュータ科学に論理的手法を応用した先駆者です。彼は国際会議シリーズ CSL の共同創設者です。^{[ 5 ]}また、彼はコンピュータベースシステムの正確かつ制御された設計と分析のための抽象状態機械(ASM)形式手法の創始者の一人でもあります^{[ 6 ] 。}さらに、国際 ASM ワークショップ シリーズの共同創設者でもあります^{[ 7 ]} 。このワークショップは 2008 年にBおよびZ ユーザー グループの定期的な会合と統合され、国際 ABZ 会議を形成しました。^{[ 8 ]}

ボルガーは、この手法の理論的基盤に貢献し、プログラミング言語、システムアーキテクチャ、要件とソフトウェア（再）エンジニアリング、制御システム、プロトコル、Webサービスなど、さまざまな分野でその産業応用を開始しました。今日に至るまで、彼はASMベースのモデリングと検証技術における主要な科学者の1人であり、彼の活動によってこの技術は決定的に形作られました。2007年には、フンボルト研究賞を受賞しました。^{[ 9 ]}

フェストシュリフトの冊子は、ベルガーの 60 歳、^{[ 10 ]} 75 歳、^{[ 11 ]}および 80 歳の誕生日に制作されました。^{[ 12 ]}

• エゴン・ベルガー著『計算可能性、複雑性、論理』、ノース・ホランド社、アムステルダム、1989年。1985年のドイツ語原著からの翻訳。イタリア語訳はボラティ＝ボリギエーリによる1989年の翻訳。
• Egon Börger、『古典的決定問題』（E. Graedel と Y. Gurevich 共著）、Springer-Verlag、1997。ISBN 3-540-57073-X第2版​​は「Universitext」として、Springer-Verlag、2001年に出版。ISBN 3-540-42324-9
• Egon Börger著、『JavaとJava仮想マシン：定義、検証、妥当性確認』（R. StaerkおよびJ. Schmid共著）、Springer-Verlag、2001年。ISBN 3-540-42088-6
• Egon Börger および 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 および Alexander Raschke、『Modeling Companion for Software Pratitioners』、Springer、2018 年。ISBN 978-3-662-56639-8、doi : 10.1007/978-3-662-56641-1
• エゴン・ベルガー、ヴィンチェンツォ・ジェルヴァージ著『コンピューティングの構造：実践指向理論への手引き』、シュプリンガー・ネイチャー、2024年。ISBN 978-3-031-54357-9、doi : 10.1007/978-3-031-54358-6

• エゴン・ボルガーのホームページ
• 出版物等
• 履歴書
• DBLP参考文献サーバーのEgon Börger